Publication | Closed Access
AgentGeom: a multiagent system for pedagogical support in geometric proof problems
27
Citations
5
References
2007
Year
Mathematics EducationEngineeringPedagogical SupportGeometric Proof ProblemsAutomated ReasoningFormal MethodsEducationProof AssistantAutomated ProofFormal Mathematical ReasoningProof TheoryComputer ScienceMathematical ProofDiscrete Mathematics
| Year | Citations | |
|---|---|---|
Page 1
Page 1