Pages that link to "Item:Q2500803"
From MaRDI portal
The following pages link to The surveyability of mathematical proof: A historical perspective (Q2500803):
Displaying 6 items.
- The surveyability of long proofs (Q2271073) (← links)
- Cognitive artifacts for geometric reasoning (Q2289702) (← links)
- Checking Proofs (Q2950035) (← links)
- (Q3728870) (← links)
- Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics (Q5221858) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)