|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Dolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker |
| Title | A New Approach for Automatic Theorem Proving in Real Geometry |
| Journal | Journal of Automated Reasoning |
| Volume | 21 |
| Number | 3 |
| Pages | 357-380 |
| Year | 1998 |
| Issn | 0168-7433 |
| Pubtype | Journal |
| Doi | 10.1023/A:1006031329384 |
| Preprint | DSW_96 |
| Fileid | DSW_98 |
| Name | Dolzmann, Sturm, Weispfenning |
| Status | redlog application |
| Xtitle | A New Approach for Automatic Theorem Proving in Real Geometry |
| Author | Dolzmann, Andreas and Sturm, Thomas and Weispfenning, Volker |
| Title | A New Approach for Automatic Theorem Proving in Real Geometry |
| Type | Technical Report |
| Number | MIP-9611 |
| Institution | FMI, Universität Passau |
| Address | D-94030 Passau, Germany |
| Month | May |
| Year | 1996 |
| Pubtype | TechReport |
| Publication | DSW_98 |
| Fileid | DSW_96 |
| Name | Dolzmann, Sturm, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/MIP-9611.pdf |
| Psfile | http://redlog.dolzmann.de/papers/ps/MIP-9611.ps.Z |
| Status | redlog application |
| Xtitle | A New Approach for Automatic Theorem Proving in Real Geometry (Technical Report) |
| A.D. | T.S. | www@redlog.eu | Validate |