Pages that link to "Item:Q1306168"
From MaRDI portal
The following pages link to On automating diagrammatic proofs of arithmetic arguments (Q1306168):
Displaying 11 items.
- Conservation principles and action schemes in the synthesis of geometric concepts (Q1028905) (← links)
- New uses of linear arithmetic in automated theorem proving by induction (Q1915133) (← links)
- The well-designed young mathematician (Q2389695) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Logic, spatial algorithms and visual reasoning (Q2688866) (← links)
- Producing proofs from an arithmetic decision procedure in elliptical LF (Q2844808) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Automating Change of Representation for Proofs in Discrete Mathematics (Q3453117) (← links)
- (Q4489486) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)
- Diagrammatic representation for interval arithmetic (Q5929745) (← links)