algorithmic mathematics
web-book

 by leonard soicher and franco vivaldi
pdf format ps format maple