A single gate that handles all of mathematics. 216 pattern-rewrite rules across 11 domains — arithmetic, algebra, calculus, trigonometry, linear algebra, set theory, logic, number theory, complex analysis, differential equations, and statistics.
Built on the SISO framework. An expression enters the stream, the gate pattern-matches and emits a rewrite, the rewrite re-enters. This repeats depth-first until nothing matches — convergence. The step-by-step trace below each result is the full derivation proof.
For more practical demos of the same architecture: