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
- Deposited packages of the homalg project☆13Updated 2 months ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated 4 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆19Updated 2 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Matroids in Lean☆18Updated last year
- Metamath verifier in Python☆38Updated 11 months ago
- ☆22Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 5 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆13Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- An arbitrary-precision differentiable programming language.☆34Updated last year
- Prime numbers for Coq☆37Updated 2 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- ☆28Updated 2 months ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Tag-based webview of LaTeX documents☆28Updated last year
- ☆14Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- LODA Programs for Integer Sequences☆33Updated this week
- A Coq formalization of information theory and linear error-correcting codes☆67Updated last week
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year