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...

Celý popis

Podrobná bibliografia

Vydané v:	Theoretical computer science Ročník 479; s. 43 - 69
Hlavní autori:	Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu, Yokoyama, Kazuhiro
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.04.2013
Predmet:	Cylindrical algebraic decomposition Quantifier elimination Symbolic–numeric computation Quantifier elimination Cylindrical algebraic decomposition Symbolic–numeric computation
ISSN:	0304-3975, 1879-2294
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!