Verification of non-linear overconstraints in Euclidean geometry with linear programming - Laboratoire d'Informatique de Grenoble Accéder directement au contenu
Communication Dans Un Congrès Année : 1995

Verification of non-linear overconstraints in Euclidean geometry with linear programming

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

Résumé

This paper is about one representation of constructible numbers which allows use of solver of linear constraints. A implementation is given in PrologIII and experiments are discussed.
Fichier principal
Vignette du fichier
1995_Cp95_OCS_Bouhineau.pdf (1.13 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00962031 , version 1 (27-03-2014)

Identifiants

  • HAL Id : hal-00962031 , version 1

Citer

Denis Bouhineau. Verification of non-linear overconstraints in Euclidean geometry with linear programming. proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995, Cassis, France. 7 p. ⟨hal-00962031⟩
105 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More