Flyspeck II: The Basic Linear Programs

Steven Obua, Tobias Nipkow

Research output: Contribution to journalArticlepeer-review

Abstract

We present another step, Flyspeck II, towards a complete, formal and mechanized proof of the Kepler Conjecture.
Original languageEnglish
Pages (from-to)245-272
Number of pages28
JournalAnnals of Mathematics and Artificial Intelligence
Volume56
Issue number3
DOIs
Publication statusPublished - 1 Aug 2009

Fingerprint

Dive into the research topics of 'Flyspeck II: The Basic Linear Programs'. Together they form a unique fingerprint.

Cite this