Corrections and Judgement Calls on the Source Notes
Every place where the teaching notes are arithmetically wrong, internally inconsistent or incomplete, what was done about it, and how each error could have been caught.
Every page in the KEVOS library tagged verification. 13 pages.
Every place where the teaching notes are arithmetically wrong, internally inconsistent or incomplete, what was done about it, and how each error could have been caught.
A structured handbook method for learning algebra through diagnosis, worked steps, deliberate practice, checking and targeted review.
Handbook guide to quadratic equations by factoring, with rules, worked examples, verification, common errors and practical engineering applications.
Handbook guide to rational equations that reduce to linear equations, with rules, worked examples, verification, common errors and practical engineering.
How to turn a response decision into funded, scheduled, owned and verifiable actions linked to project controls.
A handbook schedule template for tooling manufacture, off-tool samples, verification, correction loops, final testing and approval.
Why class group and unit computation are a single problem, what the combined algorithm produces, and how the results are verified.
Using L-functions and the analytic class number formula to compute or verify class numbers and regulators.
The recurring implementation errors in this subject and the testing discipline that catches them.
What a primality certificate is, why verification is cheaper than production, and what a certificate does and does not guarantee.
Standard tables of number fields, elliptic curves, class numbers and factorisations, and how to use them responsibly.
Why Galois group implementations need a curated test set, what a good set covers, and how to build one.
Confirming class group and regulator results against the analytic class number formula, and what such confirmation does and does not establish.