A Non-Trivial Group-Theoretic Algebraic Manipulation Engine Toolkit Thing
I cowrote this paper with Scott Kovach and Sagar Indurkhya for 6.945 (Adventures in Advanced Symbolic Programming) taught by Prof. Gerald Sussman. We had lofty goals for this system, and we didn’t get very far. Probably the most important part of the system, symbolically, was the idea of “solution pipes,” which let multiple ways of solving a problem occur simultaneously. The idea being that the faster one will return a value, aborting the rest of the computation. This is used if it’s unknown which computation will be fastest beforehand.
We developed a framework to allow for deep group-theoretical manipulations. This paper will describe the design ideas and capabilities of our system.
Download the paper: (PDF)
Download the code: (ZIP)