The following pages link to Automated Reasoning (Q5307070):
Displayed 7 items.
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- 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)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)