Journal of symbolic computation. (Oxford Elsevier Science.)
Keywords: Mathematics --Data processing --Periodicals.; Numerical analysis --Data processing --Periodicals.; Automatic programming (Computer science) --Periodicals.