Deciding ellipticity with quantifier elimination
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Dokumenttyp: | Kapitel/Artikel Konferenzschrift |
| Sprache: | Englisch |
| Veröffentlicht: |
2003
|
| In: |
Computer algebra in scientific computing
Year: 2003, Pages: 347-355 |
| Schlagworte: | |
| Online-Zugang: |
|
| Verfasserangaben: | Werner M. Seiler, Andreas Weber |
| ISBN: | 3980854612 |
|---|