Educational Studies in Mathematics · 2011 · 45 citations · 12 references
ComputingComputer ScienceKnowledge RepresentationHypothesis GenerationNatural Language GenerationProof AssistantsProof WritingTheorem ProvingInstance GenerationProof GenerationProof Production
12
Making the transition to formal proof
Robert C. Moore · Educational Studies in Mathematics · 1994 · 462 citations
Mathematics as a constructive activity: Learners generating examples
Michael Fried · ZDM · 2006 · 224 citations
Exemplifying definitions: a case of a square
Rina Zazkis · Educational Studies in Mathematics · 2008 · 153 citations
Shedding light on and with example spaces
Paul Goldenberg, John Mason · Educational Studies in Mathematics · 2008 · 124 citations