# Toward accurate polynomial evaluation in rounded arithmetic

@article{Demmel2005TowardAP, title={Toward accurate polynomial evaluation in rounded arithmetic}, author={James Demmel and Ioana Dumitriu and Olga Holtz}, journal={ArXiv}, year={2005}, volume={abs/math/0508350} }

Given a multivariate real (or complex) polynomial p and a domain D, we would like to decide whether an algorithm exists to evaluate p(x) accurately for all x ∈ D using rounded real (or complex) arithmetic. Here "accurately" means with relative error less than 1, i.e., with some correct leading digits. The answer depends on the model of rounded arithmetic: We assume that for any arithmetic operator op(a, b), for example a+b or ab, its computed value is op(a, b)� (1+δ), where |δ| is bounded by…

## 12 Citations

### Accurate and efficient expression evaluation and linear algebra

- Computer Science, MathematicsActa Numerica
- 2008

A set of necessary and sufficient conditions to decide whether a high accuracy algorithm exists in the TM is given, and progress toward a decision procedure that will take any problem and provide either a high-accuracy algorithm or a proof that none exists is described.

### CHALLENGES IN LINEAR AND POLYNOMIAL ALGEBRA IN SYMBOLIC COMPUTATION SOFTWARE

- Computer Science
- 2005

In this talk, a polynomial time complexity bound is given for the algorithm in “Factoring polynomials and the knapsack problem” [6]. A complexity result is also given for factoring bivariate…

### Theory of Real Computation According to EGC

- Computer Science, MathematicsReliable Implementation of Real Number Algorithms
- 2008

This paper addresses the problem of providing a foundation for the EGC mode of computation with a reworking of van der Waerden's idea of explicit rings and fields, and develops the approximability of real functions within standard Turing machine computability, and shows its connection to the analytic approach.

### Lossy Polynomial Datapath Synthesis

- Computer Science
- 2013

This thesis addresses the problem of how to construct hardware to efficiently implement fixed and floating-point polynomials while exploiting a global error freedom, a form of lossy synthesis.

### Numerical methods for accurate computation of the eigenvalues of Hermitian matrices and the singular values of general matrices

- Computer Science, MathematicsArXiv
- 2020

This paper offers a review of numerical methods for computation of the eigenvalues of Hermitian matrices and the singular values of general and some classes of structured matrices. The focus is on…

### SOLVING THE PRINCIPAL MINOR ASSIGNMENT PROBLEM AND RELATED COMPUTATIONS

- Mathematics
- 2006

Abstractby Kent E Griﬃn, Ph.D.Washington State UniversityAugust 2006Chair: Michael J. TsatsomerosAn order O(2 n ) algorithm for computing all the principal minors of an arbitraryn × n complex matrix…

### Adrovic, Danko; Verschelde, Jan Tropical algebraic geometry in Maple: a preprocessing algorithm for finding common factors for multivariate polynomials

- Mathematics
- 2021

The authors take advantage of the language and the tools of tropical geometry in order to design an algorithm for computing common factors of multivariate polynomials, which is well suited to the…

### SVD OF HANKEL MATRICES IN VANDERMONDE-CAUCHY PRODUCT FORM∗

- Computer Science
- 2015

New algorithms to compute the SVD of a Hankel matrix given implicitly as the product VTDV, where V is a complex Vandermonde matrix andD is a diagonal matrix are proposed, capable of computing to high relative accuracy all singular values in the full range of machine numbers.

### Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients

- MathematicsJ. Symb. Comput.
- 2011

### Sum of Squares

- Mathematics
- 2014

We describe the notion of sums of squares, which it the leading idea behind analysis of variance. We special attention to the case of unbalanced designs, where different types of sums of squares can…

## References

SHOWING 1-10 OF 76 REFERENCES

### The Complexity of Accurate Floating Point Computation

- Computer Science
- 2002

This work identifies new algorithms, when they exist, for evaluating rational expressions containing floating point numbers, and for computing matrix factorizations of matrices with rational expressions as entries, which are often exponentially faster than prior algorithms.

### Accurate and Ecient Algorithms for Floating Point Computation

- Computer Science
- 2003

The goal is to find accurate and efficient algorithms for evaluating rational expressions containing floating point numbers, and for computing matrix factorizations of matrices with rational expressions as entries, and to identify new algorithms that attain the goals of accuracy and efficiency.

### Safe and effective determinant evaluation

- Computer ScienceProceedings., 33rd Annual Symposium on Foundations of Computer Science
- 1992

The problem of evaluating the sign of the determinant of a small matrix aries in many geometric algorithms. Given an n*n matrix A with integer entries, whose columns are all smaller than M in…

### Accurate and Efficient Floating Point Summation

- Computer ScienceSIAM J. Sci. Comput.
- 2004

Several simple algorithms for accurately computing the sum of n floating point numbers using a wider accumulator are presented and how the cost of sorting can be reduced or eliminated while retaining accuracy is investigated.

### Accuracy and stability of numerical algorithms

- Computer Science
- 1991

This book gives a thorough, up-to-date treatment of the behavior of numerical algorithms in finite precision arithmetic by combining algorithmic derivations, perturbation theory, and rounding error analysis.

### On error analysis in arithmetic with varying relative precision

- Computer Science1987 IEEE 8th Symposium on Computer Arithmetic (ARITH)
- 1987

It is argued that for many codes this eliminated effort will reappear in the error analyses needed to ascertain or guarantee the accuracy of the computed solution, so reliability with respect to over/under flow has been traded for reliability with Respect to roundoff.

### Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates

- Computer ScienceDiscret. Comput. Geom.
- 1997

This article offers fast software-level algorithms for exact addition and multiplication of arbitrary precision floating-point values and proposes a technique for adaptive precision arithmetic that can often speed these algorithms when they are used to perform multiprecision calculations that do not always require exact arithmetic, but must satisfy some error bound.

### Computing over the Reals: Where Turing Meets Newton

- Computer Science
- 2004

This paper discusses how basic notions from numerical analysis such as condition, round-off and approximation are being introduced into complexity theory, bringing together ideas germinating from the real calculus of Newton and the discrete computation of computer science.

### Algorithms for arbitrary precision floating point arithmetic

- Computer Science[1991] Proceedings 10th IEEE Symposium on Computer Arithmetic
- 1991

The author presents techniques for performing computations of very high accuracy using only straightforward floating-point arithmetic operations of limited precision, and an algorithm is presented which computes the intersection of a line and a line segment.