|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas |
| Title | Real Quantifier Elimination in Geometry |
| Type | Doctoral Dissertation |
| School | Department of Mathematics and Computer Science. University of Passau, Germany |
| Address | D-94030 Passau, Germany |
| Month | dec |
| Year | 1999 |
| Pubtype | PhdThesis |
| Fileid | Sturm_99a |
| Name | Sturm |
| Pdffile | http://redlog.dolzmann.de/remis/paper/Sturm_99a/diss-sturm.pdf |
| Psfile | http://www.fmi.uni-passau.de/~redlog/paper/diss.ps.Z |
| Status | redlog application |
| Xtitle | Real Quantifier Elimination in Geometry |
| A.D. | T.S. | www@redlog.eu | Validate |