On automating diagrammatic proofs of arithmetic arguments
From MaRDI portal
Publication:1306168
DOI10.1023/A:1008323427489zbMath0941.03008OpenAlexW1821199070MaRDI QIDQ1306168
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
automated reasoningautomated theorem provinggeometric operationsconstructive \(\omega\)-rulecorrectness of schematic proofs in the meta-theory of diagramsdiagrammatic proofsdiagrammatic reasoning about mathematical theorems
Related Items
Speedith: a reasoner for spider diagrams, The well-designed young mathematician, Logic, spatial algorithms and visual reasoning, Diagrammatic representation for interval arithmetic, Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers, Investigating Diagrammatic Reasoning with Deep Neural Networks
