|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Gloor, Oliver and Sturm, Thomas |
| Title | Approaches to Parallel Quantifier Elimination |
| Editor | Gloor, Oliver |
| Booktitle | Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation (ISSAC 98), Rostock, Germany |
| Pages | 88-95 |
| Organization | ACM |
| Publisher | ACM Press |
| Address | New York, NY |
| Month | Aug |
| Year | 1998 |
| Pubtype | InCollection |
| Doi | 10.1145/281508.281564 |
| Preprint | DGS_98 |
| Context | ofsf |
| Domain | reals |
| Fileid | DGS_98a |
| Name | Dolzmann, Gloor, Sturm |
| Pdffile | http://redlog.dolzmann.de/remis/paper/DGS_98a/p88-dolzmann.pdf |
| Status | redlog system |
| Xtitle | Approaches to Parallel Quantifier Elimination |
| Author | Dolzmann, Andreas and Gloor, Oliver and Sturm, Thomas |
| Title | Approaches to Parallel Quantifier Elimination |
| Type | Technical Report |
| Number | MIP-9803 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | feb |
| Year | 1998 |
| Note | To appear in the proceedings of the ISSAC 98 |
| Pubtype | TechReport |
| Publication | DGS_98a |
| Fileid | DGS_98 |
| Name | Dolzmann, Gloor, Sturm |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9803.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9803.ps.Z |
| Status | redlog system |
| Xtitle | Approaches to Parallel Quantifier Elimination (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |