liuyj8526 / Computation-of-Elliptic-UnitsLinks
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 4 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
Sorting:
- Metamath verifier in Python☆39Updated 2 weeks ago
- ☆31Updated 2 weeks ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Deposited packages of the homalg project☆15Updated last month
- ☆23Updated 3 years ago
- Lean 4 Metamath verifier☆18Updated last month
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆20Updated 2 years ago
- ☆19Updated 2 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆50Updated 8 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- ☆9Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Source of metamath book☆48Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 3 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- The formal proof of the Odd Order Theorem☆31Updated last week
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago
- A Lean formal proof of the Combinatorial Nullstellensatz☆11Updated 2 years ago