Pages that link to "Item:Q2467560"
From MaRDI portal
The following pages link to Automated theorem proving in Euler diagram systems (Q2467560):
Displaying 13 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- A graph theoretic approach to general Euler diagram drawing (Q1041227) (← links)
- On automating diagrammatic proofs of arithmetic arguments (Q1306168) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- Diagrammatic Representation and Inference (Q5714034) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)