Lorenzo Robbiano
-
Some comments on term-ordering in Gröbner basis computations
ACM SIGSAM Bulletin
An algorithm for solving parametric linear systems
Journal of Symbolic Computation
Cited References
Computer algebra handbook