Pages that link to "Item:Q4131708"
From MaRDI portal
The following pages link to Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques (Q4131708):
Displaying 7 items.
- Orderings for term-rewriting systems (Q593789) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
- Banishing Ultrafilters from Our Consciousness (Q3305324) (← links)
- Mechanizing Nonstandard Real Analysis (Q4504968) (← links)
- An automatic proof of Gödel's incompleteness theorem (Q5894725) (← links)