home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!utcsri!skule.ecf!torn!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!loria.fr
- From: Regis.Curien@loria.fr (Curien Regis)
- Newsgroups: fnet.seminaires
- Subject: Seminaire EURECA-PROTHEO
- Message-ID: <4876@seti.inria.fr>
- Date: 21 Jan 93 09:57:04 GMT
- Sender: news@seti.inria.fr
- Distribution: fnet
- Lines: 38
- Approved: werner@margaux.inria.fr
- Jour: 26/01/93
- Lieu: INRIA Lorraine, Nancy
-
- EURECA-PROTHEO 26/01/93
- CRIN-INRIA Lorraine
- Campus scientifique -
- 615 rue du jardin botanique - BP 101
- 54602 VILLERS LES NANCY CEDEX
-
-
-
- Seminaire EURECA - PROTHEO
- CRIN & INRIA Lorraine
-
-
- Le mardi 26 janvier 93 a` 10h, salle 013.
-
-
- Expose de Eric Monfroy
-
-
- (CRIN - INRIA Lorraine)
-
- Sujet
- =====
-
- Specification des Contraintes Geometriques
-
-
- Resume
- ======
-
- Les langages de programmation logique a contraintes reunissent les avantages
- de la programmation logique et la puissance de resolution de contraintes.
- Alors que le raisonnement sur des problemes geometriques necessite des
- equations polynomiales non lineaires, la plupart des langages existants
- n'acceptent que des contraintes lineaires sur les nombres reels. Nous
- proposons un langage de programmation logique a contrainte qui utilise des
- methode algebriques pour resoudre les contraintes non lineaires. Quelques
- exemples de geometrie algorithmique, de deplacement de robot et de preuve
- de theoremes geometriques seront egalement presentes.
-