#
knuth-bendix
Here are 3 public repositories matching this topic...
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
Jul 19, 2026 - GAP
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
Improve this page
Add a description, image, and links to the knuth-bendix topic page so that developers can more easily learn about it.
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."