An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
type: Item
instance of: scholarly article
title: An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
zbMATH Open document ID: 1352.68291
DOI: 10.1007/978-3-662-43799-5_17
author: Changbo Chen
author: Marc Moreno Maza
published in: Computer Mathematics
publication date: 2016-04-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/1210.5543
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 6567234
describes a project that uses: Maple
describes a project that uses: QEPCAD
describes a project that uses: REDLOG
MaRDI profile type: Publication
OpenAlex ID: W1482222746
arXiv ID: 1210.5543
cites work: Improved projection for cylindrical algebraic decomposition
cites work: An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
cites work: Solving systems of strict polynomial inequalities
cites work: Interval arithmetic in cylindrical algebraic decomposition
cites work: QEPCAD B
cites work: Cylindrical algebraic decomposition using validated numerics
cites work: Decomposing polynomial systems into simple systems
cites work: Computing triangular systems and regular systems
cites work: Optimizations of the subresultant algorithm
cites work: Q4282674
description: scientific article