#
knuth-bendix
Here are 3 public repositories matching this topic...
First-order term rewriting in pure Standard ML: unification, matching, LPO, critical pairs, and Knuth-Bendix completion (dual-compiler MLton + Poly/ML).
-
Updated
Jul 11, 2026 - Standard ML
Scripts, certificates, and papers reducing a homeomorphism question for Lidman–Piccirillo 4-manifolds to the exotic S²×S² problem, plus a certificate-complete computation of π₁ via coset enumeration and Knuth–Bendix completion.
reproducible-research computational-mathematics gap-system knuth-bendix fundamental-group low-dimensional-topology geometric-topology 4-manifolds exotic-smooth-structures coset-enumeration
-
Updated
Aug 28, 2026 - GAP
Add this topic to your repo
To associate your repository with the knuth-bendix topic, visit your repo's landing page and select "manage topics."