Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver

Abstract : Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver introduces and proposes a solution for two problems: a method to solve mixed constraints, a representation for constructible numbers. A survey over 512 theorems of euclidean geometry shows that this solution is appropriate. Application to Tutoring System in geometry is considered.
Type de document :
Article dans une revue
Lecture Notes in Computer Science, Springer, 1996, pp.274--288
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00961982
Contributeur : Denis Bouhineau <>
Soumis le : mardi 25 mars 2014 - 15:10:43
Dernière modification le : mercredi 19 décembre 2018 - 13:08:13
Document(s) archivé(s) le : mercredi 25 juin 2014 - 10:46:47

Fichier

1996_aismc3_Bouhineau.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00961982, version 1

Collections

Citation

Denis Bouhineau. Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. Lecture Notes in Computer Science, Springer, 1996, pp.274--288. 〈hal-00961982〉

Partager

Métriques

Consultations de la notice

173

Téléchargements de fichiers

105