|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Sturm, Thomas and Weispfenning, Volker |
| Title | Computational Geometry Problems in Redlog |
| Type | Selected papers from an international workshop held in Toulouse, France |
| Series | Lecture Notes in Artificial Intelligence (Subseries of LNCS) |
| Volume | 1360 |
| Editor | Wang, Dongming |
| Booktitle | Automated Deduction in Geometry |
| Pages | 58-86 |
| Publisher | Springer-Verlag |
| Address | Berlin Heidelberg |
| Year | 1998 |
| Isbn | 3-540-64297-8 |
| Pubtype | InCollection |
| Doi | 10.1007/BFb0022720 |
| Preprint | SturmWeispfenning_97 |
| Date | September 27--29, 1996 |
| Fileid | SturmWeispfenning_98a |
| Name | Sturm, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/remis/paper/SturmWeispfenning_98a/ADG-96-Sturm.pdf |
| Status | redlog application |
| Xtitle | Computational Geometry Problems in Redlog |
| Author | Sturm, Thomas and Weispfenning, Volker |
| Title | Computational Geometry Problems in Redlog |
| Type | Technical Report |
| Number | MIP-9708 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | Apr |
| Year | 1997 |
| Pubtype | TechReport |
| Publication | SturmWeispfenning_98a |
| Fileid | SturmWeispfenning_97 |
| Name | Sturm, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9708.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9708.ps.Z |
| Status | redlog application |
| Xtitle | Computational Geometry Problems in Redlog (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |