Concepedia
2002 · 20 citations · 2 references
ComputingMathematicsApplied MathematicsAlgebraic ProofProof ComplexityProof TheoryProof WritingTheorem ProvingProof InterpretationProof JustificationProof Schemes
2
Making the transition to formal proof
Robert C. Moore · Educational Studies in Mathematics · 1994 · 462 citations
Computing, Computer Science, Formal Methods +10
Justification in the mathematics classroom: A study of prospective elementary teachers
Martin A. Simon, Glendon W. Blume · The Journal of Mathematical Behavior · 1996 · 189 citations
Education, Elementary Education, Mathematics Education +11