Logo image
New search Researchers Research units
Sign in
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, Vol.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.

Details

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

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