JOURNAL OF SYMBOLIC COMPUTATION