Journal of symbolic computation.
London ; Orlando : Academic Press,
London : Elsevier
c1985-
Computer & control abstracts
Electrical & electronics abstracts
Physics abstracts
Mathematics
Numerical analysis
Automatic programming (Computer science)