Computing with polynomials given byblack boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominatorsErich KaltofenBarry M. Trager1990Journal of Symbolic Computation
Gröbner bases and primary decomposition of polynomial idealsPatrizia GianniBarry Trageret al.1988Journal of Symbolic Computation