TY - SER ED - Academic Press TI - Journal of symbolic computation SN - 0747-7171 U1 - 510 CY - London KW - Mathematics KW - Data processing KW - Periodicals ER -