|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker |
| Title | Real Quantifier Elimination in Practice |
| Editor | Matzat, B. H. and Greuel, G.-M. and Hiss, G. |
| Booktitle | Algorithmic Algebra and Number Theory |
| Pages | 221-247 |
| Publisher | Springer |
| Address | Berlin |
| Year | 1998 |
| Isbn | 3-540-64670-1 |
| Pubtype | InCollection |
| Preprint | DSW_97 |
| Fileid | DSW_98a |
| Name | Dolzmann, Sturm, Weispfenning |
| Nodoi | http://www.amazon.com/Algorithmic-Algebra-Number-Theory-Conference/dp/3540646701/sr=8-1/qid=1165741097/ref=sr_1_1/104-8860029-6997559?ie=UTF8&s=books |
| Status | redlog application |
| Xtitle | Real Quantifier Elimination in Practice |
| Author | Dolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker |
| Title | Real Quantifier Elimination in Practice |
| Type | Technical Report |
| Number | MIP-9720 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Dec |
| Year | 1997 |
| Pubtype | TechReport |
| Publication | DSW_98a |
| Fileid | DSW_97 |
| Name | Dolzmann, Sturm, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9720.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9720.ps.Z |
| Status | redlog application |
| Xtitle | Real Quantifier Elimination in Practice (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |