number-fields

A computer algebra system in Smalltalk

Inverse Galois Problem (IGP24). Degree 24 polynomial construction, Frobenius fingerprinting and LMFDB baseline analysis for the SAIR Foundation competition.

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.

Exact-arithmetic SAT lab for the chromatic number of the plane — reproductions, a documented negative search, and two open frontier instances in the ζ42 deep end