algorithmic mathematics
web-book

by leonard soicher and franco vivaldi
the book maple