Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques

DOI10.1145/322017.322018zbMath0359.68109OpenAlexW2080104522MaRDI QIDQ4131708

W. W. Bledsoe, A. M. Ballantyne

Publication date: 1977

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322017.322018

Mathematics Subject Classification ID

Nonstandard analysis (26E35) Nonstandard models (03H99)

Related Items (7)

A fully automatic theorem prover with human-style output ⋮ Orderings for term-rewriting systems ⋮ MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics ⋮ An automatic proof of Gödel's incompleteness theorem ⋮ Knowledge-based proof planning ⋮ Banishing Ultrafilters from Our Consciousness ⋮ Mechanizing Nonstandard Real Analysis

This page was built for publication: Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques