Abstract | ||
---|---|---|
:Consider Z[x 1 , : : :, x n ], the multivariate polynomial ring over integers involving nvariables. For a fixed n, we show that the ideal membership problem as well asthe associated representation problem for Z[x 1 , : : :, x n ] are primitive recursive. Theprecise complexity bounds are easily expressible by functions in the Wainer hierarchy.Thus, we solve a fundamental algorithmic question in the theory of multivariate polynomialsover the integers. As a direct consequence, we also ... |
Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BF01188747 | Appl. Algebra Eng. Commun. Comput. |
Keywords | Field | DocType |
Ascending chain condition,E,-bases,Gröbner bases,Ideal membership problem,Rapidly growing functions,Ring of polynomials over the integers,S,-polynomials,syzygies,Wainer hierarchy | Ascending chain condition,Integer,Kronecker delta,Discrete mathematics,Primitive recursive function,Membership problem,Hierarchy,Multivariate polynomials,Mathematics | Journal |
Volume | Issue | ISSN |
5 | 6 | 0938-1279 |
Citations | PageRank | References |
4 | 0.62 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Giovanni Gallo | 1 | 17 | 2.76 |
Bud Mishra | 2 | 1368 | 219.91 |