Searching for "Nonstandard Analysis in ACL2." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Non-Standard Analysis in ACL2
by Ruben A. Gamboa, Matt Kaufmann — 2001
…Non-Standard Analysis in ACL2 Ruben A. Gamboa ∗ (ruben@(email omitted);) Loop One, Inc. 515 Congress Ave…
Cited by 11 (6 self) – Add To MetaCart

Mechanically Verifying Real-Valued Algorithms in ACL2
by Ruben Antonio Gamboa, Ruben Antonio Gamboa, Ruben Antonio Gamboa, Ruben Antonio Gamboa, Ph. D, Supervisor Robert, S. Boyer — 1999
… . . . . . . . . . . . . . . . . . . 16 Chapter 3 Non-Standard Analysis in ACL2 24 3.1 An Introduction to Non-Standard Analysis…
Cited by 12 (5 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB