Math, Inc.
- 309 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
- OpenGauss Public
math-inc/OpenGauss’s past year of commit activity - 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.
math-inc/Sphere-Packing-Lean’s past year of commit activity - FormalQualBench Public
math-inc/FormalQualBench’s past year of commit activity - FrontierMathOpen-Hypergraphs Public
math-inc/FrontierMathOpen-Hypergraphs’s past year of commit activity - LeanParanoia Public
math-inc/LeanParanoia’s past year of commit activity - KakeyaFiniteFields Public
A complete Lean 4 formalization of the Kakeya set problem over finite fields
math-inc/KakeyaFiniteFields’s past year of commit activity - ZkLinalg Public
Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity
math-inc/ZkLinalg’s past year of commit activity - strongpnt Public
math-inc/strongpnt’s past year of commit activity
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…