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

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 479; pp. 43 - 69
Main Authors:	Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu, Yokoyama, Kazuhiro
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.04.2013
Subjects:	Cylindrical algebraic decomposition Quantifier elimination Symbolic–numeric computation Quantifier elimination Cylindrical algebraic decomposition Symbolic–numeric computation
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!