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
Related projects: ⓘ
- Automatically exported from code.google.com/p/atlasofliegroups☆31Updated this week
- ☆70Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 2 months ago
- ☆11Updated 2 years ago
- Python talking to the Lean theorem prover☆39Updated 3 years ago
- 💧 Liquid Tensor Experiment☆170Updated 7 months ago
- ☆48Updated 2 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Updated 7 years ago
- Schemes in Lean (v2)☆42Updated 4 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆32Updated 4 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆47Updated 5 years ago
- Formalizing convex polyhedra in Coq☆21Updated 2 months ago
- Build-to-Order BLAS☆11Updated 5 years ago
- Program Generator for Small-Scale Linear Algebra Applications☆28Updated 6 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 5 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆21Updated 2 months ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆75Updated 3 weeks ago
- Formalization of the existence of sphere eversions☆35Updated 2 weeks ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆48Updated 3 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A Learning Environment for Theorem Proving☆71Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated this week
- All the math/tex files for the Automorphic Project☆18Updated 4 months ago
- ☆12Updated 10 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- ☆15Updated 3 years ago
- ☆19Updated last year