Scientific area at the interface between computer science and mathematics.
1
The procedure is illustrated by several examples and we discuss how to use a computer algebra system to assist with it.
2
Maxima I think I found Maxima through Wikipedia's Computer algebra system page.