共 14 条
[2]
BAYER D, 1987, DUKE MATH J, V55
[3]
BAYER D, 1982, 8222588 U MICR INT O
[4]
Buchberger B., 1976, ACM SIGSAM B, V10, P19, DOI DOI 10.1145/1088216.1088219
[5]
Buchberger B., 1965, THESIS U INNSBRUCK
[6]
GIUSTI M, 1984, 8J P EUROSAM SPRING, V17, P59
[8]
LAZARD D, 1983, 83 P EUROCAL SPRING, V162, P146
[10]
MORA F, 1988, J SYMB COMPUTAT, V6, P183