A HOL Theory of Euclidean Space
Author:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 114-129
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A Proof-Producing Decision Procedure for Real Arithmetic2005
- A Constructive Proof of the Fundamental Theorem of Algebra without Using the RationalsLecture Notes in Computer Science, 2002
- No-Longer-Foreign: Teaching an ML compiler to speak C “natively”Electronic Notes in Theoretical Computer Science, 2001
- Real Algebraic Geometry1998
- Multidifferential Calculus: Chain Rule, Open Mapping and Transversal Intersection Theorems1998
- Some Points of Analysis and Their History1997
- Some Combinatorial Lemmas in TopologyIBM Journal of Research and Development, 1960