Login / Signup

-algebras by means of Buchberger's algorithm.

Thomas BethJörn Müller-QuadeRainer Steinwandt
Published in: J. Symb. Comput. (2006)
Keyphrases