A generic projection operator for partial cylindrical algebraic decomposition

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Seidl, Andreas (VerfasserIn)
Weitere Verfasser: Sturm, Thomas (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Passau Univ., Fak. für Mathematik und Informatik 2003
Schriftenreihe:MIP / Universität Passau Fakultät für Mathematik und Informatik 0301
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Auch im Internet unter der Adresse http://www.fmi.uni-passau.de/forschung/mip-berichte/index.php3.de verfügbar. - Literaturverz. S. 18 - 20
Beschreibung:20, 3 S
Ill.
21 cm