home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / fnet / seminair / 96 < prev    next >
Encoding:
Internet Message Format  |  1993-01-24  |  1.5 KB

  1. Path: sparky!uunet!utcsri!skule.ecf!torn!spool.mu.edu!cass.ma02.bull.com!mips2!bull.bull.fr!julienas!seti!loria.fr
  2. From: Regis.Curien@loria.fr (Curien Regis)
  3. Newsgroups: fnet.seminaires
  4. Subject: Seminaire EURECA-PROTHEO
  5. Message-ID: <4876@seti.inria.fr>
  6. Date: 21 Jan 93 09:57:04 GMT
  7. Sender: news@seti.inria.fr
  8. Distribution: fnet
  9. Lines: 38
  10. Approved: werner@margaux.inria.fr
  11. Jour: 26/01/93
  12. Lieu: INRIA Lorraine, Nancy
  13.  
  14. EURECA-PROTHEO 26/01/93
  15. CRIN-INRIA Lorraine
  16. Campus scientifique - 
  17. 615 rue du jardin botanique - BP 101
  18. 54602 VILLERS LES NANCY CEDEX
  19.  
  20.  
  21.  
  22.               Seminaire EURECA - PROTHEO
  23.             CRIN & INRIA Lorraine
  24.  
  25.  
  26.           Le mardi 26 janvier 93 a` 10h, salle 013.
  27.                                                   
  28.  
  29.             Expose de Eric Monfroy
  30.  
  31.  
  32.                (CRIN - INRIA Lorraine)
  33.  
  34.                 Sujet
  35.                 =====
  36.  
  37.           Specification des Contraintes Geometriques
  38.  
  39.  
  40.                 Resume
  41.                 ======
  42.  
  43. Les langages de programmation logique a contraintes reunissent les avantages 
  44. de la programmation logique et la puissance de resolution de contraintes. 
  45. Alors que le raisonnement sur des problemes geometriques necessite des 
  46. equations polynomiales non lineaires, la plupart des langages existants 
  47. n'acceptent que des contraintes lineaires sur les nombres reels. Nous 
  48. proposons un langage de programmation logique a contrainte qui utilise des 
  49. methode algebriques pour resoudre les contraintes non lineaires. Quelques 
  50. exemples de geometrie algorithmique, de deplacement de robot et de preuve 
  51. de theoremes geometriques seront egalement presentes.
  52.