User: Guest  Login
Title:

On Poynomial Ideals, Their Complexity, and Applications

Document type:
technical report
Author(s):
Ernst W. Mayr
Abstract:
A polynomial ideal membership problem is a (w+1)-tuple P=(f,g_1,g_2,...,g_{w+1}) where f and the g_i are multivariate polynomials over some ring, and the problem is to determine whether f is in the ideal generated by the g_i. For polynomials over the integers or rationals, it is known that this problem is exponential space complete.We discuss complexity results known for a number of problems related to polynomial ideals, like the word problem for commutative semigroups, a quantitative version of...     »
Keywords:
Polynomial ideal; multivariate polynomial; Groebner base; commutative semigroup; (reversible) Petri net
Year:
1995
Year / month:
1995-05-00 00:00:00
 BibTeX