Math, Inc.
- 372 followers
- United States of America
- https://math.inc
- @mathematics_inc
- contact@math.inc
Popular repositories Loading
-
Sphere-Packing-Lean
Sphere-Packing-Lean PublicForked from thefundamentaltheor3m/Sphere-Packing-Lean
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.
-
-
RiemannHypothesisCurves
RiemannHypothesisCurves PublicA formal proof of the Riemann Hypothesis for curves
Repositories
- Erdos1196 Public
- Sphere-Packing-Lean Public Forked from thefundamentaltheor3m/Sphere-Packing-Lean
A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.
- OpenGauss Public
- FormalQualBench Public
- FrontierMathOpen-Hypergraphs Public
- LeanParanoia Public
- KakeyaFiniteFields Public
A complete Lean 4 formalization of the Kakeya set problem over finite fields
- ZkLinalg Public
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
- strongpnt Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…