Ecriture automatique de démonstrations en géométrie.
Une version texte intégral est en téléchargement sur le site Bibliothèque numérique des IREM et de l’APMEP Télécharger
Auteurs : Guillot Philippe ; Jolivet Luc ; Leperd Jean-Luc ; Moulin Claude
Résumé
Après une présentation d’une maquette conçue et écrite en Lisp permettant de construire des figures et de demander des preuves concernant cette figure, les auteurs développent les différents problèmes posés par l’écriture automatique des démonstrations en géométrie ainsi que les solutions qu’ils ont apportées. Enfin, ils détaillent les structures du programme en accompagnant leurs explications des portions du texte source significatives.
Notes
Données de publication
Éditeur IREM de Rouen Mont-Saint-Aignan , 1990 Collection IREM de Rouen Num. R 067 Format A4, 22 p. Index Bibliogr. p. 22-22
ISBN 2-86239-026-7 EAN 9782862390260
Public visé enseignant
Type document pour la classe issu de travaux de groupe de travail Langue français Support papier
Classification