Pages that link to "Item:Q1306168"
From MaRDI portal
The following pages link to On automating diagrammatic proofs of arithmetic arguments (Q1306168):
Displaying 6 items.
- The well-designed young mathematician (Q2389695) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Logic, spatial algorithms and visual reasoning (Q2688866) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)
- Diagrammatic representation for interval arithmetic (Q5929745) (← links)
