Speedith
From MaRDI portal
Cited in
(18)- Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\)
- Diabelli: A Heterogeneous Proof System
- Sequent Calculus for Euler Diagrams
- Reasoning with concept diagrams about antipatterns in ontologies
- Dr.Doodle
- SketchSet
- Tahuti
- SOVA
- Diabelli
- Openproof
- SketchNode
- Hyperproof
- VOWL
- Tesseract
- Inspection and selection of representations
- Investigating Diagrammatic Reasoning with Deep Neural Networks
- Accessible Reasoning with Diagrams: From Cognition to Automation
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
This page was built for software: Speedith
