Formalizing the Proof of the Kepler Conjecture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3223, Issue , 2004, Pages 117-

  Hales, Thomas ^a  

^a UNIVERSITY OF PITTSBURGH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; NONLINEAR PROGRAMMING;

COMPUTER CALCULATION; DISCRETE GEOMETRY; FORMAL PROOFS; LEVEL STRUCTURE; MATHEMATICAL PROOF; NON-LINEAR OPTIMIZATION; THREE DIMENSIONS;

GRAPH THEORY;

EID: 35048892805     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30142-4_9     Document Type: Article

References (0)