The singular value decomposition for polynomial systems
@inproceedings{Corless1995TheSV, title={The singular value decomposition for polynomial systems}, author={Robert M Corless and Patrizia M. Gianni and Barry M. Trager and Stephen M. Watt}, booktitle={ISSAC '95}, year={1995} }
This paper introduces singular value decomposition (SVD) algorithms for some standard polynomial computations, in the case where the coecients are inexact or imperfectly known. We first give an algorithm for computing univariate GCD’s which gives exact results for interesting nearby problems, and give ecient algorithms for computing precisely how nearby. We generalize this to multivariate GCD computation. Next, we adapt Lazard’s u-resultant algorithm for the solution of overdetermined systems…
Figures from this paper
244 Citations
Approximate factorization of multivariate polynomials using singular value decomposition
- Computer Science, MathematicsJ. Symb. Comput.
- 2008
Extended companion matrix for approximate GCD
- Mathematics, Computer ScienceSNC '11
- 2012
The structure of the null space of the multiplication matrix contains all the essential information about GCD(f, g) and exhibits a displacement structure that allows us to design a fast algorithm for approximate GCD computation with quadratic complexity w.r.t. polynomial degrees.
Approximate factorization of multivariate polynomials via differential equations
- Computer Science, MathematicsISSAC '04
- 2004
It is demonstrated on a significant body of experimental data that the algorithm is practical and can find factorizable polynomials within a distance that is about the same in relative magnitude as the input error, even when the relative error in the input is substantial.
The approximate irreducible factorization of a univariate polynomial: revisited
- Mathematics, Computer ScienceISSAC '09
- 2009
The problem of factoring a univariate polynomial is revisited by establishing a rigorous theoretical framework for eliminating the ill-posedness and by introducing a redesigned algorithm that avoids error accumulation in the GCD computation and substantially improves the accuracy and robustness.
Computing Lower Rank Approximations of Matrix Polynomials
- Computer Science, MathematicsJ. Symb. Comput.
- 2020
The numerical greatest common divisor of univariate polynomials
- MathematicsArXiv
- 2021
A regularization theory for numerical computation of polynomial greatest common divisors and a convergence analysis is presented, along with a detailed description of a blackbox-type algorithm that solves the problem of finding the GCD accurately using floating point arithmetic even if the data are perturbed.
NUMERICAL ALGEBRAIC GEOMETRY: THE CANONICAL DECOMPOSITION AND NUMERICAL GR OBNER BASES
- Mathematics, Computer Science
- 2012
An SVD-based algorithm is presented which numerically computes the canonical decomposition of the vector space of multivariate polynomials for a given monomial ordering and it is shown how by introducing the notion of divisibility into this algorithm a numerical Grobner basis can also be computed.
Numerical Univariate Polynomial GCD
- Computer Science, Mathematics
- 1996
A rigorous geometrical point of view is given in the parameter space of all input polynomials and SVD computations on subresultants are applied in order to derive upper bounds on the degree of the approximate GCD.
An ODE-based method for computing the approximate greatest common divisor of polynomials
- Computer Science, MathematicsNumerical Algorithms
- 2018
The algorithm is generalized in order to work with more than 2 polynomials and to compute an Approximate GCD (Greatest Common Divisor) of degree k ≥ 1; it is shown that the algorithm becomes faster by replacing the eigenvalues by the singular values.
On Approximate GCDs of Univariate Polynomials
- Mathematics, Computer ScienceJ. Symb. Comput.
- 1998
This paper considers the problem of finding approximate common divisors in the context of inexactly specified polynomials and develops efficient algorithms for the so-called nearest common Divisor problem and several of its variants.
References
SHOWING 1-10 OF 38 REFERENCES
Computing selected solutions of polynomial equations
- Computer Science, MathematicsISSAC '94
- 1994
The problem of finding roots is reduced to computing eigenvalues of a generalized companion matrix and the structure of the matrix is used to compute the solutions in the domain of interest only and the resulting algorithm is iterative in nature.
An Elimination Algorithm for the Computation of All Zeros of a System of Multivariate Polynomial Equations
- Mathematics
- 1988
A direct numerical method is proposed for the determination of all isolated zeros of a system of multivariate polynomial equations. By “polynomial combination”, the system is reduced to a special…
A matrix pencil based numerical method for the computation of the GCD of polynomials
- Mathematics[1992] Proceedings of the 31st IEEE Conference on Decision and Control
- 1992
The authors present a novel numerical method for the computation of the greatest common divisor (GCD) of an m-set of polynomials of R(s), P/sub m,d/, of maximal degree d. It is based on a procedure…
Effective polynomial computation
- Mathematics, Computer ScienceThe Kluwer international series in engineering and computer science
- 1993
1. Euclid's Algorithm. 2. Continued Fractions. 3. Diophantine Equations. 4. Lattice Techniques. 5. Arithmetic Functions. 6. Residue Rings. 7. Polynomial Arithmetic. 8. Polynomial GCD's: Classical…
A matrix pencil based numerical method for the computation of the GCD of polynomials
- MathematicsIEEE Trans. Autom. Control.
- 1994
The method defines the exact degree of GCD, works satisfactorily with any number of polynomials and evaluates successfully approximate solutions.
Algorithms for Intersecting Parametric and Algebraic Curves II: Multiple Intersections
- Computer Science, MathematicsCVGIP Graph. Model. Image Process.
- 1995
Elimination theory is used and the resultant of the equations of intersection are expressed as a matrix determinant and the algorithm for intersection is reduced to computing eigenvalues and eigenvectors of matrices.
Verification in Computer Algebra Systems
- Computer Science, Mathematics
- 1993
This paper has attempted to demonstrate that the question of condition, i.e. of the sensitivity of results w.r.t. perturbations of data, may play a role in algebraic algorithms, even if they are carried out in rational arithmetic, and how these ideas may also lead to safe implementations ofgebraic algorithms in floating-point arithmetic.