home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / theory / 2409 < prev    next >
Encoding:
Text File  |  1992-11-14  |  766 b   |  21 lines
  1. Newsgroups: comp.theory
  2. Path: sparky!uunet!think.com!ames!sun-barr!cs.utexas.edu!tamsun.tamu.edu!krishna
  3. From: krishna@cs.tamu.edu (Krishna Kumar)
  4. Subject: Packages for solving sytems of polynomial inequalities.
  5. Message-ID: <1992Nov13.160442.10238@tamsun.tamu.edu>
  6. Sender: news@tamsun.tamu.edu (Read News)
  7. Organization: Computer Science Department, Texas A&M University
  8. Date: Fri, 13 Nov 1992 16:04:42 GMT
  9. Lines: 10
  10.  
  11.  
  12. Does anyone know of good implementations of algorithms that
  13. solve systems of polynomial inequalities ( integer coefficients with
  14. solutions over the reals ). Programs based on cylindrical algebraic 
  15. decomposition are fine, but if anyone has an implementation of
  16. the algorithm by Grigoriev and Vrobjov I would be particularly interested.
  17.  
  18. krishna
  19.  
  20.  
  21.