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
- ☆29Updated 3 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- ☆19Updated 2 years ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- ☆23Updated 2 years ago
- Deposited packages of the homalg project☆13Updated 4 months ago
- Matroids in Lean☆18Updated last year
- Formalizing results about the Mandelbrot set in Lean☆20Updated 5 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆49Updated 6 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- ☆19Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆69Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆28Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago
- sorear's Metamath system engine - version 3 Rust☆24Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated last year
- Source of metamath book☆48Updated last year
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 2 months ago
- ☆11Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆104Updated 5 months ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆100Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 4 years ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆74Updated 7 months ago
- metamath proof enumerators and other things☆92Updated 9 months ago