A computer algebra system in Smalltalk
-
Updated
Sep 5, 2025 - Smalltalk
A computer algebra system in Smalltalk
Verification code for "Arithmetic Geometry at the Pisot Boundary" — five arithmetic theorems and the Dimensional Norm-Hodge Theorem for the PDT polynomials
Three exact-arithmetic verification pipelines — λ=2c conformal identities + the emission-gap theorem, Mahler-measure matrix plates (interactive in-browser explorer), and residual-return learning dynamics over number fields. Every load-bearing claim is machine-checked; all suites pass.
Add a description, image, and links to the number-fields topic page so that developers can more easily learn about it.
To associate your repository with the number-fields topic, visit your repo's landing page and select "manage topics."