Title: Challenging the Boundaries of Symbolic Computation
Subjects: Mathematica (computer program)