km-git-acc / dbn_upper_bound
Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
☆13Updated last year
Alternatives and similar repositories for dbn_upper_bound:
Users that are interested in dbn_upper_bound are comparing it to the libraries listed below
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Formalizing convex polyhedra in Coq☆24Updated 10 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- ☆16Updated 4 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆120Updated 10 months ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- All the math/tex files for the Automorphic Project☆18Updated 11 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 6 months ago
- Formalization of the existence of sphere eversions☆40Updated last week
- Some examples of Lean projects, for undergraduate mathematicians.☆22Updated 3 years ago
- ☆27Updated 3 years ago
- ☆15Updated last year
- Theorem proving in Lean☆49Updated 6 months ago
- ☆87Updated last year
- Jupyter notebooks with some NAND code☆19Updated 6 years ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆57Updated last week
- An open bibliography of machine learning for formal proof papers☆32Updated last year
- ☆23Updated 2 years ago
- ☆14Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago