300 search results - page 5 / 60 » Extension of a theorem of Whitney |
MOR
2000
14 years 11 months ago
2000
69
Voted
SIAMDM
2010
14 years 10 months ago
2010
177
Voted
CC
2009
Springer
16 years 9 days ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
86
Voted
JAR
2007
14 years 11 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...