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