Login / Signup

Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem.

C. JacobssonC. Löfwall
Published in: J. Symb. Comput. (1991)
Keyphrases
  • multiscale
  • closely related
  • special case
  • starting point
  • databases
  • data mining
  • lower bound
  • theorem proving
  • interactive theorem proving