Logo image
Interval Arithmetic in Cylindrical Algebraic Decomposition
Journal article   Open access   Peer reviewed

Interval Arithmetic in Cylindrical Algebraic Decomposition

George E. Collins, Jeremy R. Johnson and Werner Krandick
Journal of symbolic computation, v 34(2)
Aug 2002
url
https://doi.org/10.1006/jsco.2002.0547View
Published, Version of Record (VoR)Open Access (Publisher-Specific) Open

Abstract

Cylindrical algebraic decomposition requires many very time consuming operations, including resultant computation, polynomial factorization, algebraic polynomial gcd computation and polynomial real root isolation. We show how the time for algebraic polynomial real root isolation can be greatly reduced by using interval arithmetic instead of exact computation. This substantially reduces the overall time for cylindrical algebraic decomposition.

Metrics

10 Record Views
41 citations in Scopus

Details

InCites Highlights

Data related to this publication, from InCites Benchmarking & Analytics tool:

Collaboration types
Domestic collaboration
Web of Science research areas
Computer Science, Theory & Methods
Mathematics, Applied
Logo image