The following pages link to (Q4789490):
Displaying 12 items.
- And so on \dots : reasoning with infinite diagrams (Q375286) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- Diagram processing: Computing with diagrams (Q814449) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Main problems of diagrammatic reasoning. I: The generalization problem (Q2271076) (← links)
- A graphical user interface for formal proofs in geometry (Q2462636) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$ (Q5213627) (← links)
- What is a proof? (Q5301851) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- Cognitive and computational complexity: considerations from mathematical problem solving (Q6652877) (← links)