Login / Signup
Standard Bases for General Coefficient Rings and a New Constructive Proof of Hilbert's Basis Theorem.
C. Jacobsson
C. 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