scientific article; zbMATH DE number 1852974
From MaRDI portal
Publication:4789490
zbMATH Open1040.68111MaRDI QIDQ4789490FDOQ4789490
Authors: Mateja Jamnik 
Publication date: 14 January 2003
Title of this publication is not available (Why is that?)
Recommendations
Cited In (19)
- A graphical user interface for formal proofs in geometry
- Main problems of diagrammatic reasoning. I: The generalization problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Visual Mathematics: Diagrammatic Formalization and Proof
- Title not available (Why is that?)
- Automated theorem proving in Euler diagram systems
- Title not available (Why is that?)
- Vivid: a framework for heterogeneous problem solving
- Cognitive and computational complexity: considerations from mathematical problem solving
- Accessible Reasoning with Diagrams: From Cognition to Automation
- Title not available (Why is that?)
- A formal model of aspect shifting: the case of dot diagrams
- Aspect shifting in Aristotelian diagrams
- What is a proof?
- And so on \dots : reasoning with infinite diagrams
- 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)
