Journal article
Interval Arithmetic in Cylindrical Algebraic Decomposition
Journal of symbolic computation, v 34(2)
Aug 2002
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
Details
- Title
- Interval Arithmetic in Cylindrical Algebraic Decomposition
- Creators
- George E. Collins - University of DelawareJeremy R. Johnson - University of DelawareWerner Krandick - University of Delaware
- Publication Details
- Journal of symbolic computation, v 34(2)
- Publisher
- Elsevier
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000178478100005
- Scopus ID
- 2-s2.0-0036696251
- Other Identifier
- 991019168030504721
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