Matrices in Elimination Theory

This publication has 51 references indexed in Scilit:

• Improved Algorithms for Sign Determination and Existential Quantifier Elimination
  The Computer Journal, 1993
• An efficient algorithm for the sparse mixed resultant
  Published by Springer Nature ,1993
• Fiber Polytopes
  Annals of Mathematics, 1992
• On Grau’s Method for Simultaneous Factorization of Polynomials
  SIAM Journal on Numerical Analysis, 1992
• Ideals, Varieties, and Algorithms
  Published by Springer Nature ,1992
• Effective Bezout identities in Q[z1, ..., zn]
  Acta Mathematica, 1991
• Generalised characteristic polynomials
  Journal of Symbolic Computation, 1990
• Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time
  Journal of Mathematical Sciences, 1986
• The number of roots of a system of equations
  Functional Analysis and Its Applications, 1979
• THE GEOMETRY OF TORIC VARIETIES
  Russian Mathematical Surveys, 1978