The following pages link to Computer proofs of limit theorems (Q2554244):
Displaying 13 items.
- Computer theorem proving in mathematics (Q704001) (← links)
- Seventy-five problems for testing automatic theorem provers (Q1101242) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Tautology testing with a generalized matrix reduction method (Q1132862) (← links)
- Some results on the generalized star-height problem (Q1207944) (← links)
- A relaxation approach to splitting in an automatic theorem prover (Q1215411) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)
- Constraint solving for proof planning (Q1774557) (← links)
- A man-machine theorem-proving system (Q1845619) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- A fully automatic theorem prover with human-style output (Q2362206) (← links)
