Simultaneous elimination by using several tools from real algebraic geometry

DOI10.1006/JSCO.1998.0268MaRDI QIDQ1808663zbMATH OpenOpenAlexFDO

Authors Laureano Gonzalez-Vega, Neila González-Campos

Publication date 10 January 2001

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1998.0268

zbMATH Keywords

computer aided geometric designeliminationgreatest common divisor of polynomialsHermite's methodreal algebraic geometry

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Real algebraic and real-analytic geometry (14P99) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Numerical computation of solutions to systems of equations (65H10) Computer science aspects of computer-aided design (68U07) Symbolic computation and algebraic computation (68W30)

Recommendations

• Polar varieties and efficient real elimination
• Generalized polar varieties and an efficient real elimination.
• On the intrinsic complexity of elimination problems in effective algebraic geometry
• Equimultiplicity, algebraic elimination, and blowing-up
• scientific article; zbMATH DE number 1961537
• Elimination and nonlinear equations of Rees algebras
• A Gröbner-based treatment of elimination theory for affine varieties
• Elimination with applications to singularities in positive characteristic
• Elimination algebras and inductive arguments in resolution of singularities
• Elimination ideals and Bézout relations

Cites work

• An elementary proof of Barnett's theorem about the greatest common divisor of several univariate polynomials
• scientific article; zbMATH DE number 421661 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 1206418 (Why is no real title available?)
• scientific article; zbMATH DE number 1023365 (Why is no real title available?)
• scientific article; zbMATH DE number 1157666 (Why is no real title available?)
• scientific article; zbMATH DE number 1163432 (Why is no real title available?)
• scientific article; zbMATH DE number 3055967 (Why is no real title available?)
• Inertia characteristics of self-adjoint matrix polynomials
• Multidimensional analogues of Newton's formulas for systems of nonlinear algebraic equations and some of their applications
• On the combinatorial and algebraic complexity of quantifier elimination
• On the complexity of computing the greatest common divisor of several univariate polynomials
• Radical computations of zero-dimensional ideals and real root counting.
• Solutions of systems of algebraic equations and linear maps on residue class rings

Cited in

(3)

• Barnett's theorems about the greatest common divisor of several univariate polynomials through Bezout-like matrices
• Improving root separation bounds
• Squarefree decomposition of univariate polynomials depending on a parameter. Application to the integration of parametric rational functions

This page was built for publication: Simultaneous elimination by using several tools from real algebraic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1808663)