Buchberger, G.E.Collins, and R.Loos ;in cooperation with R.Albrecht.

• 题名/责任者: Computer algebra symbolic and algebraic computation //edited by B.