Journal of Symbolic Computation (Academic Press)