Machine verification
E8 and the Gaussian code
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/note_e8_gaussian_code/sections/002-section-explicit-character-basis-of-the-eight-coxeter-ch.tex · lines 253 to 254
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.