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

Abstract : 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.
Type de document :
Communication dans un congrès
proceedings of OverConstraints Systems, ISSN 0302-9743. Cassis 1995., 1995, Cassis, France. 7 p., 1995
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00962031
Contributeur : Denis Bouhineau <>
Soumis le : jeudi 27 mars 2014 - 09:50:23
Dernière modification le : lundi 12 septembre 2016 - 15:33:23
Document(s) archivé(s) le : vendredi 27 juin 2014 - 10:37:21

Fichier

1995_Cp95_OCS_Bouhineau.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00962031, version 1

Collections

Citation

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., 1995. 〈hal-00962031〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

68