Julia interface to the Giac computer algebra system

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.

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

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.

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).

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

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