Pages that link to "Item:Q4906843"
From MaRDI portal
The following pages link to Proof and Understanding in Mathematical Practice (Q4906843):
Displaying 8 items.
- Settings and misunderstandings in mathematics (Q2052629) (← links)
- Unificatory understanding and explanatory proofs (Q2152391) (← links)
- Understanding, formal verification, and the philosophy of mathematics (Q2851818) (← links)
- (Q3437622) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- The Derivation-Indicator View of Mathematical Practice (Q4662815) (← links)
- (Q4883899) (← links)
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING (Q5737966) (← links)