Pages that link to "Item:Q2467560"
From MaRDI portal
The following pages link to Automated theorem proving in Euler diagram systems (Q2467560):
Displayed 5 items.
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- A graph theoretic approach to general Euler diagram drawing (Q1041227) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)