Simultaneous elimination by using several tools from real algebraic geometry

DOI10.1006/JSCO.1998.0268zbMATH Open0952.14043OpenAlexW2152080657MaRDI QIDQ1808663FDOQ1808663

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

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

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)

Cites Work

• Inertia characteristics of self-adjoint matrix polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the combinatorial and algebraic complexity of quantifier elimination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Solutions of systems of algebraic equations and linear maps on residue class rings
• Radical computations of zero-dimensional ideals and real root counting.
• An elementary proof of Barnett's theorem about the greatest common divisor of several univariate polynomials
• Title not available (Why is that?)
• Title not available (Why is that?)
• Multidimensional analogues of Newton's formulas for systems of nonlinear algebraic equations and some of their applications
• On the complexity of computing the greatest common divisor of several univariate polynomials

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)