International Journal of Computers for Mathematical Learning · 2007 · 27 citations · 5 references
EducationComputer ScienceEducational TechnologyGeometryGeometry EducationPedagogyDeductive ReasoningGeometric ProofGeometric ReasoningProblem-solving StrategiesProof AssistantsTheorem ProvingGeometric Constraint SatisfactionGeometry TeachingMathematical Problem Solving InstructionProof In GeometryProof SearchProofs In GeometrySpatial Reasoning Instruction
5
Yuzuru TANAKA · Journal of the Japan Society for Precision Engineering · 1988 · 71 citations · Full text
The Baghera project: a multi-agent architecture for human learning
Carine Geltrudes Webber, Loris Bergia, Sylvie Pesty et al. · 2003 · 40 citations