✦ LIBER ✦

Nonstandard Analysis in ACL2

✍ Scribed by Ruben A. Gamboa; Matt Kaufmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Nonstandard Analysis || Nonstandard Real

✍ Väth, Martin 📂 Article 📅 2007 🏛 Birkhäuser Basel ⚖ 468 KB

Nonstandard Analysis || Nonstandard Mode

✍ Väth, Martin 📂 Article 📅 2007 🏛 Birkhäuser Basel ⚖ 371 KB

Nonstandard Analysis || Nonstandard Topo

✍ Väth, Martin 📂 Article 📅 2007 🏛 Birkhäuser Basel ⚖ 484 KB

Partial Functions in ACL2

✍ Panagiotis Manolios; J Strother Moore 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 124 KB

Nonstandard Analysis || Preliminaries

✍ Väth, Martin 📂 Article 📅 2007 🏛 Birkhäuser Basel ⚖ 256 KB

Nonstandard Analysis || Miscellaneous

✍ Väth, Martin 📂 Article 📅 2007 🏛 Birkhäuser Basel ⚖ 181 KB