You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale violating manifolds in Anti de-Sitter space.
Adèlic spectral frameworks for computational number theory: exploring exact discrete bounds for pattern avoidance via CP-SAT, and quantum-physical realizations of automorphic L-function zeros.
Hamiltonian Gauge Gravity Surveyor (HiGGS). Tools for Hamiltonian constraint, canonical and Dirac-Bergmann analysis of gravity theories with spacetime curvature and torsion.
Geometric Information Field Theory. Standard Model parameters as topological invariants of a G₂ manifold. Zero free parameters, formally verified, falsifiable.