On automating diagrammatic proofs of arithmetic arguments

DOI10.1023/A:1008323427489MaRDI QIDQ1306168zbMATH OpenOpenAlexFDO

Authors Mateja Jamnik, Alan Bundy, Ian Green

Publication date 31 July 2000

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008323427489

zbMATH Keywords

automated reasoningautomated theorem provinggeometric operationsconstructive \(\omega\)-rulecorrectness of schematic proofs in the meta-theory of diagramsdiagrammatic proofsdiagrammatic reasoning about mathematical theorems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(17)

• Heterogeneous proofs: spider diagrams meet higher-order provers
• Automating Change of Representation for Proofs in Discrete Mathematics
• scientific article; zbMATH DE number 2086734 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 1474909 (Why is no real title available?)
• Logic, spatial algorithms and visual reasoning
• Conservation principles and action schemes in the synthesis of geometric concepts
• scientific article; zbMATH DE number 1787153 (Why is no real title available?)
• Speedith: a reasoner for spider diagrams
• scientific article; zbMATH DE number 1787154 (Why is no real title available?)
• Diagrammatic representation for interval arithmetic
• scientific article; zbMATH DE number 1670623 (Why is no real title available?)
• scientific article; zbMATH DE number 1670624 (Why is no real title available?)
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Producing proofs from an arithmetic decision procedure in elliptical LF
• The well-designed young mathematician
• New uses of linear arithmetic in automated theorem proving by induction

This page was built for publication: On automating diagrammatic proofs of arithmetic arguments

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