algorithmic mathematics
web-book
by leonard soicher and franco vivaldi
the book
maple
