Abstract
Proof in geometry problems is an essential feature of secondary school mathematical teaching. This presents difficulties that many may pupils fail to overcome. Experiments with ‘intelligent’ logicials for pupil-aid in geometry, are described here. They are based on research into mathematical teaching and pupil learning patterns, and provide information on pupil spontaneous reasoning applied to geometry.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ag Almouloud S. (1992): L’ordinateur, outil d’aide à la demonstration et au traitement de données didactiques, these de l’Université de Rennes 1.
Ag Almouloud S. (1992): Aide logicielle à la résolution de problèmes avec preuve: des sequences didactiques pour Fenseignement de la demonstration, RDM, Vol. 12, no 2.
Ag Almouloud S., Giorgiutti I. (1993): La modélisation de l’élève: le cas de D.E.F.I.,Actes des 3èmes Joumées EIAO de Cachan, Eyrolles, Paris.
Ag Almouloud S., Giorgiutti I. (1994): EIAO et didactique: le cas de D.E.F.I., outil didactique et d’aide à la recherche, RDM, Voi. 14, no 1.
Balacheff N . (1982): Preuve et demonstration en mathématiques au Collège, Recherches en Didactique des Mathématiques 3.3, 261-304
Balacheff N . (1985): Etude des processus de preuve en mathématiques chez des élèves du premier cycle de l’enseignement secondaire, thèse de Doctorat d’Etat, Université de Grenoble.
Brousseau G. (1986): Théorisation des ph#x00E9;nomènes d#x2019;enseignement des mathématiques,thèse de Doctorat d’Etat Université de Bordeaux I
Chevallard Y. (1985): Pour introduire à Fingéniérie didactique à composante informatique, Rapport sur FUniversité no 20 de Luminy.
Gras R., Boisnard D., Allen R., Nicolas P., Trilling L. (1987): Gestion informatisée de problèmes et de démarches liées à leur resolution, La Nouvelle Encyclopédie Fondation Diderot.
Gras R. (1988): Une situation de construction géométrique avec assistance logicielle. Recherches en Didactique des Mathématiques, vol. 83, 195–230.
Greco Didactique et Acquisition des Connaissances Scientifiques, Informatique et ingéniérie didactique, Rapport d’activités 1984-85 du sous-thè 2 du thème 3, des IREM. de Paris Sud et Rennes, du Caten.,de l’INSA., de l’IRISA. et de l’IRMAR.,IREM. de Rennes (mai 1985).
Larher A., Gras R. (1989): Le micro-ordinateur, outil de revelation et d’analyse de procédures dans de courtes demonstrations de geometrie. 13èrne Conférence Internationale Psychology of Mathematics Education, Paris,juillet 1989
Nicolas P. (1989): Construction et vérification de figures gométriques dans le Systeme MENTONIEZH, these de l’Université de Rennes I.
Py D. (1990): Reconnaisance de plan pour Faide à la demonstration dans un tuteur intelligent de la géometrie, th#x00E8;se de l#x2019;Universit#x00E9; de Rennes 1.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gras, R., Giorgiutti, I. (1996). Computer Aided Proofs in School Geometry. In: Laborde, JM. (eds) Intelligent Learning Environments: The Case of Geometry. NATO ASI Series, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60927-5_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-60927-5_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64608-9
Online ISBN: 978-3-642-60927-5
eBook Packages: Springer Book Archive