An effective implementation of symbolic–numeric cylindrical algebraic decomposition for quantifier elimination

With many applications in engineering and scientific fields, quantifier elimination (QE) has received increasing attention. Cylindrical algebraic decomposition (CAD) is used as a basis for a general QE algorithm. In this paper we present an effective symbolic–numeric cylindrical algebraic decomposit...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 479; S. 43 - 69
Hauptverfasser:	Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu, Yokoyama, Kazuhiro
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.04.2013
Schlagworte:	Cylindrical algebraic decomposition Quantifier elimination Symbolic–numeric computation Quantifier elimination Cylindrical algebraic decomposition Symbolic–numeric computation
ISSN:	0304-3975, 1879-2294
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!