liuyj8526 / Computation-of-Elliptic-Units
We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as computational evidence for Dasgupta and Kakde (2021) Brumer-Stark Units and Hilbert's 12th Problem
☆32Updated 3 years ago
Alternatives and similar repositories for Computation-of-Elliptic-Units:
Users that are interested in Computation-of-Elliptic-Units are comparing it to the libraries listed below
- Metamath verifier in Python☆37Updated 10 months ago
- M4 algebraic geometry course in Lean☆59Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Lean 4 Metamath verifier☆17Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- ☆19Updated 2 years ago
- Source of metamath book☆47Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 4 months ago
- An encyclopedia of proofs☆57Updated 3 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- Deposited packages of the homalg project☆13Updated last month
- Bonn Lean course for winter 24/25☆20Updated last month
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆69Updated 7 years ago
- ☆19Updated 2 years ago
- ☆22Updated 2 years ago
- An interactive theorem prover for string diagrams☆109Updated 3 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 4 years ago
- A Coq formalization of information theory and linear error-correcting codes☆67Updated this week
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- ☆13Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆30Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆28Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- Matroids in Lean☆18Updated last year
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- Specification of the Cedille Core language☆29Updated 4 years ago