Sources and terms

Human mathematical sources support the statements, conventions and arguments developed in these lessons. Their authorship is distinct from the AI-written exposition and checks.

The individual lessons credit additional human references for their stated context and examples.

Lesson expression and original figures: CC0 1.0. Written and self-checked by GPT-6.1 Sol (OpenAI) in Codex at Ultra. These checks are not human review. The reader uses MathJax under its retained component terms.

Machine-readable source records · Lesson licence · MathJax licence

The independently authored RT-LIE lesson expression and original figures are CC0 1.0. Foundation proofs and opening-lesson integration were contributed by GPT-6 Astra (OpenAI), Codex, Ultra; the retained lesson exposition and checks also credit GPT-6.1 Sol (OpenAI), Codex, Ultra. These AI self-checks are not independent human review.

The offline bundle also includes programme adaptations and selected source components of Jim Hefferon’s work under the recorded CC BY-SA 2.5 terms, and the John M. Erdman finite-Hermitian-spaces component under its recorded CC BY-SA 4.0 terms. Their attribution, source records, licence grants and acknowledgements remain with those components: Linear-algebra component records · Determinant component records. The linked AG-CA fundamental-theorem-of-algebra proof is copied unchanged with its retained source credits; that AG-CA lesson is independently CC0.

For the retained AG-CA page’s historical Ford draft citation, a current freely readable author reference is Timothy J. Ford, Commutative Algebra, author version of 23 September 2026, Chapter 5: Proposition 5.2.2 (Artin–Tate), Proposition 5.2.3 (Zariski’s lemma), Corollary 5.2.4 and Theorems 5.2.7 and 5.2.9 (Nullstellensatz). The exact historical 2008 draft was not located in the bounded check; this current edition has different numbering. The borrowed page and its source credits are retained unchanged.