Tag
verification
7 resources tagged “verification” across the knowledge library.
7 items
Article7 Aug 2026Class Group and Unit Computation: the Computational ProblemWhy class group and unit computation are a single problem, what the combined algorithm produces, and how the results are verified.2 min readRead MoreArticle7 Aug 2026Class Numbers from Analytic Class Number FormulasUsing L-functions and the analytic class number formula to compute or verify class numbers and regulators.2 min readRead MoreArticle7 Aug 2026Implementation Pitfalls and Testing StrategyThe recurring implementation errors in this subject and the testing discipline that catches them.2 min readRead MoreArticle7 Aug 2026Primality Certificates and Independent VerificationWhat a primality certificate is, why verification is cheaper than production, and what a certificate does and does not guarantee.2 min readRead MoreArticle7 Aug 2026Published Tables of Fields and CurvesStandard tables of number fields, elliptic curves, class numbers and factorisations, and how to use them responsibly.2 min readRead MoreArticle7 Aug 2026Test Polynomials for Galois Group SoftwareWhy Galois group implementations need a curated test set, what a good set covers, and how to build one.2 min readRead MoreArticle7 Aug 2026Verifying Class Group and Regulator ResultsConfirming class group and regulator results against the analytic class number formula, and what such confirmation does and does not establish.2 min readRead More