External Tools for the Formal Proof of the Kepler Conjecture

doi 10.29007/2l48
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

EasyChair

Related search

On a Strong Version of the Kepler Conjecture

Mathematika
Mathematics
2012English

A Proof of the Pfister Factor Conjecture

Inventiones Mathematicae
Mathematics
2008English

Proof of the Double Bubble Curvature Conjecture

Journal of Geometric Analysis
GeometryTopology
2007English

On Weiner's Proof of the Palásti Conjecture

Journal of Applied Probability
MathematicsStatisticsUncertaintyProbability
1979English

Retraction: A Proof of the Strong Goldbach Conjecture

International Journal of Mathematical Education in Science and Technology
MathematicsApplied MathematicsEducation
2019English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

A Proof of the Ahlswede-Cai-Zhang Conjecture

2014English

The Mathematical Modeling and Proof of the Goldbach Conjecture

2018English

A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations

Discrete and Computational Geometry
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTopologyTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy