The following pages link to (Q2892718):
Displaying 30 items.
- Flyspeck (Q22240) (← links)
- MizAR 40 for Mizar 40 (Q286800) (← links)
- The local optimality of the double lattice packing (Q312160) (← links)
- Density bounds for outer parallel domains of unit ball packings (Q492221) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Towards a proof of the 24-cell conjecture (Q722369) (← links)
- Historical overview of the Kepler conjecture (Q734995) (← links)
- On contact numbers of totally separable unit sphere packings (Q898124) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Contact graphs of unit sphere packings revisited (Q1956324) (← links)
- Long shortest vectors in low dimensional lattices (Q2005735) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- Crystallographic texture and group representations (Q2154727) (← links)
- Rod-packing arrangements of invariant tori in solenoidal vector fields with cubic symmetries (Q2157582) (← links)
- Kähler packings and Seshadri constants on projective complex surfaces (Q2363169) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- An Approach to the Dodecahedral Conjecture Based on Bounds for Spherical Codes (Q2848990) (← links)
- Learning to Parse on Aligned Corpora (Rough Diamond) (Q2945635) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- Metrically homogeneous graphs of diameter 3 (Q4991900) (← links)
- MATHEMATICAL RIGOR AND PROOF (Q5078816) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- ON CONTACT NUMBERS OF LOCALLY SEPARABLE UNIT SPHERE PACKINGS (Q6048830) (← links)
- Mathematics and the formal turn (Q6130523) (← links)
- Typical large graphs with given edge and triangle densities (Q6158597) (← links)
- The magic of 8 and 24 (Q6200335) (← links)
