symbolic mathematics

Related entries include:

CAYLEY; Magma;