|
|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Seiler, Werner M. and Weber, Andreas |
| Title | Deciding Ellipticity by Quantifier Elimination |
| Editor | Ganzha, V. G. and Mayr, E. W. and Vorozhtsov, E. V. |
| Booktitle | Computer Algebra in Scientific Computing. Proceedings of the CASC 2003 |
| Pages | 347-355 |
| Publisher | Institut für Informatik, Technische Universität München |
| Address | München, Germany |
| Year | 2003 |
| Pubtype | InCollection |
| Context | ofsf |
| Domain | reals |
| Fileid | SeilerWeber_03 |
| Name | Seiler, Weber |
| Nodoi | http://wwwmayr.in.tum.de:8080/leabib/advanced.search?dist0=0&submit=Suchen&where0=citkey&what0=%22Seiler-Weber%2F03%22 |
| Status | redlog third-party application |
| Xtitle | Deciding Ellipticity by Quantifier Elimination |
| A.D. | T.S. | www@redlog.eu | Validate |