Journal of Symbolic Computation

0.69413805007935