Journal of symbolic computation