The following pages link to Automated Reasoning (Q5307070):
Displayed 4 items.
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)