Visual Mathematics: Diagrammatic Formalization and Proof

DOI10.1007/978-3-540-85110-3_39MaRDI QIDQ5505526zbMATH OpenOpenAlexFDO

Authors John Howse, Gem Stapleton

Publication date 27 January 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85110-3_39

Mathematics Subject Classification ID

General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 1787154
• Visualizations in mathematics
• scientific article; zbMATH DE number 5839744
• scientific article; zbMATH DE number 1787150
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 4187179

Cites work

• A Decidable Constraint Diagram Reasoning System
• Automated Reasoning
• Automated theorem proving in Euler diagram systems
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Diagrammatic Representation and Inference
• Graph Drawing
• scientific article; zbMATH DE number 1773524 (Why is no real title available?)
• scientific article; zbMATH DE number 2086735 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 872502 (Why is no real title available?)
• Spider Diagrams
• Visual thinking in mathematics. An epistemological study

Cited in

(13)

• scientific article; zbMATH DE number 1670623 (Why is no real title available?)
• scientific article; zbMATH DE number 1304454 (Why is no real title available?)
• scientific article; zbMATH DE number 1094162 (Why is no real title available?)
• scientific article; zbMATH DE number 1537938 (Why is no real title available?)
• scientific article; zbMATH DE number 1787150 (Why is no real title available?)
• scientific article; zbMATH DE number 2086734 (Why is no real title available?)
• Automated Reasoning
• Mathematical Knowledge Management
• Mathematical formalization and diagrammatic reasoning: the case study of the braid group between 1925 and 1950
• Diagrammatic Representation and Inference
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning
• A Typology of Mathematical Diagrams
• A diagrammatic view of differential equations in physics

Describes a project that uses

Uses Software

• LPL software
• Dr.Doodle

This page was built for publication: Visual Mathematics: Diagrammatic Formalization and Proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505526)