共 8 条
[1]
APEL J, 1985, SEP P INT C COMP ALG
[2]
APEL J, 1986, P SYMSAC 86 WATERLOO
[3]
Buchberger B., 1985, Second RIKEN International Symposium on Symbolic and Algebraic Computation by Computers, P69
[4]
Buchberger B., 1965, THESIS U INNSBRUCK
[5]
Cohn P. M., 1961, P LOND MATH SOC, V11, P511, DOI 10.1112/plms/s3-11.1.511
[7]
SWEEDLER M, 1989, IDEAL BASES VALUATIO
[8]
WARLICH K, 1987, THESIS K MARX U LEIP