✦ LIBER ✦

Interval Arithmetic in Cylindrical Algebraic Decomposition

✍ Scribed by George E. Collins; Jeremy R. Johnson; Werner Krandick

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 237 KB
Volume: 34
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.2002.0547

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Improved Projection for Cylindrical Alge

Improved Projection for Cylindrical Algebraic Decomposition

✍ Christopher W. Brown 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 358 KB

McCallum's projection operator for cylindrical algebraic decomposition (CAD) represented a huge step forward for the practical utility of the CAD algorithm. This paper presents a simple theorem showing that the mathematics in McCallum's paper actually point to a better projection operator than he pr

Local Box Adjacency Algorithms for Cylin

Local Box Adjacency Algorithms for Cylindrical Algebraic Decompositions

✍ Scott M c Callum; George E. Collins 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 372 KB

We describe new algorithms for determining the adjacencies between zero-dimensional cells and those one-dimensional cells that are sections (not sectors) in cylindrical algebraic decompositions (cad). Such adjacencies constitute a basis for determining all other cell adjacencies. Our new algorithms

An interval arithmetic domain decomposit

An interval arithmetic domain decomposition method for a class of elliptic PDEs on nonrectangular domains

✍ Hartmut Schwandt 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 1000 KB

Decomposition of intervals in special re

Decomposition of intervals in special relativity

✍ Alladi Ramakrishnan 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 89 KB

An experiment with arithmetic precision

An experiment with arithmetic precision in linear algebra computations

✍ I. Duff; J. Laminie; A. Lichnewsky; F. Thomasset 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 766 KB

Modular Arithmetic for Linear Algebra Co

Modular Arithmetic for Linear Algebra Computations in the Real Field

✍ I.Z. Emiris; V.Y. PAN; Y. YU 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 528 KB

The aim of this work is to decrease the bit precision required in computations without affecting the precision of the answer, whether this is computed exactly or within some tolerance. By precision we understand the number of bits in the binary representation of the values involved in the computatio