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:
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Source of metamath book☆51Updated last year
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- ☆33Updated 3 months ago
- Code samples for Lean 4☆77Updated 2 years ago
- Haskell implementation of open games☆175Updated 8 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆17Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated this week
- ☆93Updated last year
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆52Updated last month
- Lean 4 Metamath verifier☆21Updated 5 months ago
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- 💧 Liquid Tensor Experiment☆208Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- metamath proof enumerators and other things☆91Updated last week
- A simple raytracer written in Lean 4☆141Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Riemann Hypothesis in Lean☆41Updated 4 years ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- An interactive theorem prover for string diagrams☆121Updated last year
- Formalization of the existence of sphere eversions☆43Updated this week
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- ☆35Updated 2 weeks ago