There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 163-179

DOI: 10.1007/978-3-642-39634-2_14

SO-VID: e4417250-1caa-4199-a5de-211cb8b83a33

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 41

A FORMAL PROOF OF THE KEPLER CONJECTURE
Authors: Thomas Hales, MARK ADAMS, GERTRUD BAUER …
Homotopy limits in type theory
Authors: , ,
A Fully Automatic Theorem Prover with Human-Style Output
Authors: M. Ganesalingam, W. Gowers

See all cited by

A Machine-Checked Proof of the Odd Order Theorem

Read this book at