exact-computation

Julia interface to the Giac computer algebra system

An upper bound on the compactification scale of SU(7) grand gauge-Higgs unification, and the dijet angular distribution that tests it (Part VII).

Paper and implementations for strict cross-slice order and line batching in the exact Fisher network.

A pure HTML/JS/CSS reactive notebook for symbolic computation - computer algebra system (CAS) with support of differents kernels (GIAC JS as default kernel), JSXGraph as default plotting backend and MathField as Math2D input. It's also usable as PWA.

Proton decay in SU(7) grand gauge-Higgs unification: an obstruction, its minimal escapes, and the one row of their Table 1 that can pay for them (Part VI).

Exact computer-assisted proof candidate for octahedron comparison in geodesic CAT(0) spaces

Three Gates to a Quark Generation: an exact criterion for which SU(4) representations contain the Standard Model (Part II).

Two independent exact solvers for 3 Card Poker — the reference implementation behind the book Win at 3 Card Poker. Nothing sampled: 407,170,400 confrontations enumerated in full, exact rational arithmetic, every figure in the book under test.

Anomaly- and tadpole-compatible fermion completion of 6D SU(4) gauge-Higgs unification (exact, Lean-checked) (Part I).

A centre-charge selection rule for the Wilson-line potential: the fundamental domain of gauge-Higgs unification is representation-dependent (Part III).

Schur functions at (1,-1,t,1/t): a closed form on the non-identity component of O(4) (Part IV).

What the Higgs Potential Cannot See: bulk matter that cannot help select a boundary condition (Part V).