Sciweavers

JAR
2007
83views more  JAR 2007»
14 years 11 days ago
Theory Extension in ACL2(r)
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...
Ruben Gamboa, John R. Cowles