|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Seidl, Andreas and Sturm, Thomas |
| Title | Efficient Projection Orders for CAD |
| Editor | Jaime Gutierrez |
| Booktitle | Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 2004) |
| Pages | 111-118 |
| Publisher | ACM Press |
| Address | New York, NY |
| Month | jul |
| Year | 2004 |
| Pubtype | InCollection |
| Doi | 10.1145/1005285.1005303 |
| Preprint | DSS_03 |
| Context | ofsf |
| Domain | reals |
| Fileid | DSS_04a |
| Name | Dolzmann, Seidl, Sturm |
| Pdffile | http://redlog.dolzmann.de/remis/paper/DSS_04a/p111-dolzmann.pdf |
| Status | redlog system |
| Xtitle | Efficient Projection Orders for CAD |
| Author | Andreas Dolzmann and Andreas Seidl and Thomas Sturm |
| Title | Efficient Projection Orders for CAD |
| Type | Technical Report |
| Number | MIP-0401 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | jan |
| Year | 2003 |
| Pubtype | TechReport |
| Publication | DSS_04a |
| Context | ofsf |
| Domain | reals |
| Fileid | DSS_03 |
| Name | Dolzmann, Seidl, Sturm |
| Status | redlog system |
| Xtitle | Efficient Projection Orders for CAD (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |