Embedded Files
Focused tools bringing research math to the day's notions of Computer-Assistance and Broad Applicability
Learning alongside the code: how computers assist the working mathematician
Learning alongside the code: how computers assist the working mathematician
Computer-assisted proof matches the would-be mathematician to a high-performance code set: two tools around "graph theory" pleasing to the eye and nurturing the theorist in each of us.
These are tools studious around right implementation of Human-Computer-Interaction: believing that good design is a ticket to great research. A solo proprietorship, Corralled Code is nonetheless curated with the discoveries borne in long hours of rehearsal and invocation of the compiled code base: languages merging the speed of threaded "C" with the "++" of inheritance and plainly-readable, extensible, notions around choosing random algorithms, choosing measures, criteria and tallies, and choosing levels of presentation or "verbosity" for the final product.
Please visit the home pages of our two products: Helly Tool Home and Flag Calc Home
Professional Implementation
Professional Implementation
"Pure" math extends to algorithms so long as we steer the ship. The "applied" mathematician can rest assured that modernity has not lost step with her or his neighbor in the purist's camp down the hall. The statistician can design abstracted "random algorithms", while the algebraist can explore embeddings and isomorphism classes.
The Patience of the Student's Perspective in Each of Us
The Patience of the Student's Perspective in Each of Us
Meticulous focus meets game-day algorithms: code that just "works", spaced properly with Object-Oriented abstraction, and close-to-the-metal code, together to fly through the procedures and analyses of random graphs.
Lightning-Fast Machine Code
Lightning-Fast Machine Code
Today's threaded CPU's extend Moore's law in a modern, different direction: concurrency. The enthusiasm for algorithm research means not resting until everything is running on all cylinders.
The Practical Result
The Practical Result
We intend the software first to be "usable", but also to feel out the correct approaches to modern hardware. Serving both as a learning pilot's wheel and seat, but also a theorist's benchmarking tool, the fact is that ingenuity can come from tinkerers and researchers of all ages and stripes.
Questions?
Questions?
Contact peter@corralledcode.com to get more information on the project
Page updated
Report abuse