Martin Kreuzer
and
Lorenzo Robbiano
fields
:
Symbolic Computation, Computer Algebra;
Computational Mathematics
and Scientific Computing;
Algebra