Hyperproof
From MaRDI portal
swMATH22172MaRDI QIDQ33967FDOQ33967
Author name not available (Why is that?)
Official website: http://web.stanford.edu/group/cslipublications/cslipublications/site/1881526119.shtml
Cited In (40)
- Title not available (Why is that?)
- Logicographic symbols
- Meaning and dialogue coherence: A proof-theoretic investigation
- Simplifying proofs in Fitch-style natural deduction systems
- ProofWidgets
- 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
- AutoTutor
- Vivid
- CafePie
- Dr.Doodle
- GROVER
- Conservation principles and action schemes in the synthesis of geometric concepts
- Speedith
- XBarnacle
- VOWL
- GLEFatinf
- EPGY
- Geometry Tutor
- 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
- Accessible Reasoning with Diagrams: From Cognition to Automation
- jsCoq
- A semiotic perspective on polysemy
- Hybrid reasoning using universal attachment
- 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
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
This page was built for software: Hyperproof
