The HOL Light Theory of Euclidean Space
Author:
- 19 April 2012
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 50 (2) , 173-190
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Importing HOL Light into CoqLecture Notes in Computer Science, 2010
- A Revision of the Proof of the Kepler ConjectureDiscrete & Computational Geometry, 2009
- The Jordan Curve Theorem, Formally and InformallyThe American Mathematical Monthly, 2007
- A HOL Theory of Euclidean Space2005
- A Constructive Proof of the Fundamental Theorem of Algebra without Using the RationalsLecture Notes in Computer Science, 2002
- Integrating Gandalf and HOL1999
- Multidifferential Calculus: Chain Rule, Open Mapping and Transversal Intersection Theorems1998
- HOL Light: A tutorial introduction1996
- Convexity1994
- Some Combinatorial Lemmas in TopologyIBM Journal of Research and Development, 1960