@inproceedings{Mayr:STACS:1989,
    Abstract = {A polynomial ideal membership problem is an (n+1)-tuple P = {\textlangle}p, p1, p2,..., pn{\textrangle} where p and the piare multivariate polynomials over some ring, and the problem is to determine whether p is in the ideal generated by the pi. For polynomials over the integers or rationals, it is known that this problem is exponential space hard. Here, we show that the problem for multivariate polynomials over the rationals is solvable in exponential space, establishing its exponential space completeness.},
    Address = {Berlin, Heidelberg},
    Author = {Mayr, Ernst},
    BookTitle = {In Proc.~of STACS'89},
    Editor = {Monien, B. and Cori, R.},
    ISBN = {978-3-540-46098-5},
    Pages = {400--406},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Membership in polynomial ideals over {$\mathbb Q$} is exponential space complete},
    Year = {1989},
    date-added = {2018-09-28 17:28:05 +0000},
    date-modified = {2018-09-28 17:28:05 +0000},
    doi = {10.1007/BFb0029002}
}

@inproceedings{Mayr:STACS:1989, Abstract = {A polynomial ideal membership problem is an (n+1)-tuple P = {\textlangle}p, p1, p2,..., pn{\textrangle} where p and the piare multivariate polynomials over some ring, and the problem is to determine whether p is in the ideal generated by the pi. For polynomials over the integers or rationals, it is known that this problem is exponential space hard. Here, we show that the problem for multivariate polynomials over the rationals is solvable in exponential space, establishing its exponential space completeness.}, Address = {Berlin, Heidelberg}, Author = {Mayr, Ernst}, BookTitle = {In Proc.~of STACS'89}, Editor = {Monien, B. and Cori, R.}, ISBN = {978-3-540-46098-5}, Pages = {400--406}, Publisher = {Springer Berlin Heidelberg}, Title = {Membership in polynomial ideals over {$\mathbb Q$} is exponential space complete}, Year = {1989}, date-added = {2018-09-28 17:28:05 +0000}, date-modified = {2018-09-28 17:28:05 +0000}, doi = {10.1007/BFb0029002} }