Results 1 
3 of
3
A proof of the Kepler conjecture
 Math. Intelligencer
, 1994
"... This section describes the structure of the proof of ..."
Abstract

Cited by 200 (13 self)
 Add to MetaCart
(Show Context)
This section describes the structure of the proof of
Formal verification of nonlinear inequalities with taylor interval approximations
 CoRR
"... ar ..."
(Show Context)
ii FORMAL COMPUTATIONS AND METHODS
, 2012
"... This dissertation was presented by ..."
(Show Context)