Login / Signup
A Revision of the Proof of the Kepler Conjecture.
Thomas C. Hales
John Harrison
Sean McLaughlin
Tobias Nipkow
Steven Obua
Roland Zumkeller
Published in:
Discret. Comput. Geom. (2010)
Keyphrases
</>
belief revision
scientific workflows
theorem prover
linear logic
theorem proving
knowledge base
website
multiscale
revision operators
domain knowledge
belief change
workflow management systems
belief update
automated theorem proving
natural deduction
proof search