Interval arithmetic in cylindrical algebraic decomposition
type: Item
instance of: scholarly article
title: Interval arithmetic in cylindrical algebraic decomposition
zbMATH Open document ID: 1007.68210
author: George E. Collins
author: Jeremy R. Johnson
author: Werner Krandick
published in: Journal of Symbolic Computation
publication date: 2003-03-23T00:00:00Z
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 1886748
zbMATH Keywords: algebraic polynomial real root isolation
zbMATH Keywords: interval arithmetic
describes a project that uses: QEPCAD
MaRDI profile type: Publication
OpenAlex ID: W2084459701
cites work: Q3235904
cites work: Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
cites work: Q4391215
cites work: Partial cylindrical algebraic decomposition for quantifier elimination
cites work: Q4464929
cites work: Multiprecision floating point addition
cites work: Computing GCDs of polynomials over algebraic number fields
cites work: Interval arithmetic
cites work: Q4226967
cites work: Q4391223
DOI: 10.1006/JSCO.2002.0547
Recommended article: Fully incremental cylindrical algebraic decomposition
Recommended article: An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Recommended article: Computing cylindrical algebraic decomposition via triangular decomposition
Recommended article: Q2702011
Recommended article: Q4391217
Recommended article: On Approximations and Incidence in Cylindrical Algebraic Decompositions
Recommended article: Cylindrical algebraic decomposition with equational constraints
Recommended article: Regular cylindrical algebraic decomposition
Recommended article: Q3345781
Recommended article: Cylindrical algebraic decomposition using validated numerics
description: scientific article; zbMATH DE number 1886748