liuyj8526 / Computation-of-Elliptic-UnitsView external linksLinks
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
☆31May 29, 2021Updated 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:
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- All the math/tex files for the Automorphic Project☆19Updated this week
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- Schemes in Lean (v2)☆43Jul 30, 2020Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- ☆14Updated this week
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- ☆14Feb 8, 2015Updated 11 years ago
- Topos theory in lean☆64Jan 6, 2021Updated 5 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 5 months ago
- A formal consistency proof of Quine's set theory New Foundations☆79Jun 18, 2025Updated 7 months ago
- Lecture notes from Cambridge maths☆72Feb 1, 2024Updated 2 years ago
- Spiking neural network inference engine for 7-Series FPGAs☆26Aug 31, 2025Updated 5 months ago
- ☆50May 15, 2023Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆229Feb 14, 2025Updated last year
- Othello program created by Gunnar Andersson - This is a copy of the original code -☆16Apr 29, 2014Updated 11 years ago
- ☆18Jan 22, 2026Updated 3 weeks ago
- ☆25Apr 21, 2021Updated 4 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆26May 27, 2020Updated 5 years ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Learn Lean and topology☆26Apr 28, 2023Updated 2 years ago
- 💧 Liquid Tensor Experiment☆221Jan 23, 2024Updated 2 years ago
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆25Jan 27, 2026Updated 3 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆27Dec 31, 2025Updated last month
- A formal verification of Linear PCP SNARKs.☆60Jul 20, 2024Updated last year
- John Tromp homepage☆29Feb 5, 2026Updated last week
- Website!☆22Sep 20, 2022Updated 3 years ago
- Low level arithmetic primitives in RTL☆23Apr 3, 2020Updated 5 years ago
- RFC 6238 code generator compatible with Google Authenticator☆25Oct 16, 2024Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- ☆25Dec 10, 2021Updated 4 years ago
- Android Automotive Testapp☆13Feb 10, 2023Updated 3 years ago
- ☆165Nov 5, 2019Updated 6 years ago
- Mathematical proofs of the bbchallenge project.☆24Sep 1, 2025Updated 5 months ago
- Verilog development and verification project for HOL4☆28Apr 25, 2025Updated 9 months ago