The following pages link to Doing arithmetic without diagrams (Q1238641):
Displaying 5 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Inductive reasoning on recursive equations (Q1136246) (← links)
- Automatic theorem proving in set theory (Q1245007) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)