Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Lecture Notes in Computer Science Année : 1996

Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver

Denis Bouhineau
  • Fonction : Auteur
  • PersonId : 748357
  • IdHAL : denisb

Résumé

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.
Fichier principal
Vignette du fichier
1996_aismc3_Bouhineau.pdf (1.22 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00961982 , version 1 (25-03-2014)

Identifiants

  • HAL Id : hal-00961982 , version 1

Citer

Denis Bouhineau. Solving Geometrical Constraint Systems Using CLP Based on Linear Constraint Solver. Lecture Notes in Computer Science, 1996, pp.274--288. ⟨hal-00961982⟩
106 Consultations
323 Téléchargements

Partager

Gmail Facebook X LinkedIn More