Exact geometric algebra with governed multivectors
Exact geometric algebra from the balanced ternary axiom. Governed rewriting, self-certifying canonicalization via the Kase Optimality Theorem.
A regex engine where geometric algebra is the execution engine