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 26 mars 2014 - 17:07:17
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

170

Téléchargements de fichiers

103