Pages that link to "Item:Q4678935"
From MaRDI portal
The following pages link to Heterogeneous Reasoning and Its Logic (Q4678935):
Displaying 8 items.
- Intuition and visualization in mathematical problem solving (Q989743) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- From Euclidean geometry to knots and nets (Q2053353) (← links)
- A Practice-Based Approach to Diagrams (Q2948609) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like (Q4914181) (← links)
- An Inquiry into the Practice of Proving in Low-Dimensional Topology (Q5213637) (← links)
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING (Q5737966) (← links)
