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

real algebraic geometryeliminationcomputer aided geometric designgreatest common divisor of polynomialsHermite's method

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer science aspects of computer-aided design (68U07) 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) Numerical computation of solutions to systems of equations (65H10) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Real algebraic and real-analytic geometry (14P99)

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

• 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?)
• An elementary proof of Barnett's theorem about the greatest common divisor of several univariate polynomials
• 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)

• Improving root separation bounds
• Barnett's theorems about the greatest common divisor of several univariate polynomials through Bezout-like matrices
• 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)