scientific article; zbMATH DE number 1852974
From MaRDI portal
Publication:4789490
zbMath1040.68111MaRDI QIDQ4789490
Publication date: 14 January 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
What is a proof?, And so on \dots : reasoning with infinite diagrams, Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method, A formal model of aspect shifting: the case of dot diagrams, Aspect shifting in Aristotelian diagrams, A graphical user interface for formal proofs in geometry, Automated theorem proving in Euler diagram systems, Main problems of diagrammatic reasoning. I: The generalization problem, A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$, Vivid: a framework for heterogeneous problem solving, Visual Mathematics: Diagrammatic Formalization and Proof, Diagram processing: Computing with diagrams, Accessible Reasoning with Diagrams: From Cognition to Automation
