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:
- Source of metamath book☆51Updated last year
- Lean 4 Metamath verifier☆20Updated 4 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆34Updated 2 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- ☆33Updated 2 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Code samples for Lean 4☆77Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Deposited packages of the homalg project☆16Updated last month
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated last year
- ☆93Updated last year
- Schemes in Lean (v2)☆43Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- sorear's Metamath system engine - version 3 Rust☆26Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆51Updated last week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A simple raytracer written in Lean 4☆140Updated last year
- An encyclopedia of proofs☆63Updated 10 months ago
- Metamath program - source code for the Metamath executable☆86Updated 2 months ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated 3 weeks ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- ☆47Updated 2 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆170Updated this week
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explained☆21Updated 3 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- Bonn Lean course for winter 24/25☆36Updated last month
- An interactive theorem prover for string diagrams☆121Updated 11 months ago