Number theory

The Formal Frontier libraries on number theory, one section each.

• Dedekind ideal arithmetic
• Iwasawa modules
• Norm forms
• Polynomial root stability
• Quadratic algebras
• Valuation integers

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.