Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils.

J. P. Spagnol

Browse the full ITS paper archive.