%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Ngoa, M.H.
%A Fotso, L.P.
%A Fouda, M.
%T Modélisation de la géométrie du secondaire à l'aide des graphes conceptuels
%B CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
%C Paris
%D 1996
%E Moukeli, P.
%L fdi:010008786
%G FRE
%I ORSTOM
%@ 2-7099-1333-X
%K ENSEIGNEMENT ASSISTE PAR ORDINATEUR ; ENSEIGNEMENT SECONDAIRE ; ANALYSE MATHEMATIQUE ; MODELISATION
%K GEOMETRIE
%P 797-809
%U https://www.documentation.ird.fr/hor/fdi:010008786
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/010008786.pdf
%W Horizon (IRD)
%X Ceci est la première partie d'un travail de modélisation d'une démonstration en géométrie du secondaire. Il fallait fixer d'abord la représentation des objets géométriques et des propriétés de ces objets. Ensuite représenter les outils de démonstration, c'est-à-dire les théorèmes. Nous l'avons fait en utilisant des graphes conceptuels. Nous voulons aboutir à une valuation des outils de démonstration dont a besoin notre système INTEXO (logiciel d'aide au choix des exercices) pour classer les exercices par degré de difficulté. (Résumé d'auteur)
%S Colloques et Séminaires
%B CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science
%8 1996/10/09-16
%$ 122INTAR