scientific article; zbMATH DE number 1852974
From MaRDI portal
Recommendations
Cited in
(20)- A graphical user interface for formal proofs in geometry
- Main problems of diagrammatic reasoning. I: The generalization problem
- scientific article; zbMATH DE number 1670623 (Why is no real title available?)
- scientific article; zbMATH DE number 1670624 (Why is no real title available?)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Visual Mathematics: Diagrammatic Formalization and Proof
- scientific article; zbMATH DE number 1787153 (Why is no real title available?)
- Automated generation of illustrated proofs in geometry and beyond
- A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
- Automated theorem proving in Euler diagram systems
- scientific article; zbMATH DE number 1787154 (Why is no real title available?)
- Vivid: a framework for heterogeneous problem solving
- Accessible Reasoning with Diagrams: From Cognition to Automation
- Cognitive and computational complexity: considerations from mathematical problem solving
- scientific article; zbMATH DE number 1961548 (Why is no real title available?)
- A formal model of aspect shifting: the case of dot diagrams
- Aspect shifting in Aristotelian diagrams
- And so on \dots : reasoning with infinite diagrams
- What is a proof?
- Diagram processing: Computing with diagrams
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789490)
