Hyperproof
From MaRDI portal
Cited in
(41)- Meaning and dialogue coherence: A proof-theoretic investigation
- Conservation principles and action schemes in the synthesis of geometric concepts
- Vivid: a framework for heterogeneous problem solving
- Information and impossibilities
- Hybrid reasoning using universal attachment
- jsCoq
- Vivid
- Strategy analysis of non-consequence inference with Euler diagrams
- The concept of relevance and the logic diagram tradition
- A semiotic perspective on polysemy
- Economic reasoning with demand and supply graphs
- GROVER
- CafePie
- Dr.Doodle
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
- What makes an effective representation of information: a formal account of observational advantages
- Logicographic symbols
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book
- Automated theorem proving in Euler diagram systems
- How diagrams can support syllogistic reasoning: an experimental study
- Equivalences in Euler-based diagram systems through normal forms
- Speedith
- XBarnacle
- VOWL
- GLEFatinf
- EPGY
- A Shell for Generic Interactive Proof Search
- Geometry Tutor
- Logical reasoning with diagrams and sentences. Using hyperproof
- Two kinds of non-monotonic analogical inference
- VennMaster
- scientific article; zbMATH DE number 819502 (Why is no real title available?)
- Counter-example construction with Euler diagrams
- Accessible Reasoning with Diagrams: From Cognition to Automation
- The Observational Advantages of Euler Diagrams with Existential Import
- Investigating Diagrammatic Reasoning with Deep Neural Networks
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
- AutoTutor
- ProofWidgets
- Simplifying proofs in Fitch-style natural deduction systems
This page was built for software: Hyperproof
