Proof and Understanding in Mathematical Practice
From MaRDI portal
Recommendations
Cited in
(12)- Settings and misunderstandings in mathematics
- Unificatory understanding and explanatory proofs
- Understanding, formal verification, and the philosophy of mathematics
- Addendum on Peter Lipton's `Mathematical understanding'
- scientific article; zbMATH DE number 5150882 (Why is no real title available?)
- Formal Proof: Reconciling Correctness and Understanding
- scientific article; zbMATH DE number 4029501 (Why is no real title available?)
- scientific article; zbMATH DE number 1004880 (Why is no real title available?)
- The Derivation-Indicator View of Mathematical Practice
- scientific article; zbMATH DE number 896237 (Why is no real title available?)
- `Chasing' the diagram -- the use of visualizations in algebraic reasoning
- Formal and Natural Proof: A Phenomenological Approach
This page was built for publication: Proof and Understanding in Mathematical Practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4906843)