Journal of symbolic computation (Elsevier, 1985)