On automating diagrammatic proofs of arithmetic arguments

DOI10.1023/A:1008323427489zbMATH Open0941.03008OpenAlexW1821199070MaRDI QIDQ1306168FDOQ1306168

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

Recommendations

• scientific article; zbMATH DE number 1787153
• scientific article; zbMATH DE number 1852974
• scientific article; zbMATH DE number 1670623
• scientific article; zbMATH DE number 972598

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)

• New uses of linear arithmetic in automated theorem proving by induction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Speedith: a reasoner for spider diagrams
• Heterogeneous proofs: spider diagrams meet higher-order provers
• Automating Change of Representation for Proofs in Discrete Mathematics
• Diagrammatic representation for interval arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conservation principles and action schemes in the synthesis of geometric concepts
• The well-designed young mathematician
• Title not available (Why is that?)
• Investigating Diagrammatic Reasoning with Deep Neural Networks
• Producing proofs from an arithmetic decision procedure in elliptical LF
• Logic, spatial algorithms and visual reasoning
• Title not available (Why is that?)

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)