scientific article; zbMATH DE number 1787150

MaRDI QIDQ4548189zbMATH OpenFDO

Authors Bernd Meyer

Publication date 18 November 2002

zbMATH Keywords

picture logicvisual Horn clause language

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Visual Mathematics: Diagrammatic Formalization and Proof
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 1787154
• Visual structure in mathematical expressions
• Exploring the fruitfulness of diagrams in mathematics
• A Typology of Mathematical Diagrams

Cited in

(3)

• scientific article; zbMATH DE number 2080935 (Why is no real title available?)
• Visual Mathematics: Diagrammatic Formalization and Proof
• `Chasing' the diagram -- the use of visualizations in algebraic reasoning

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 Q4548189)