Computer Mathematics Volume 9 (Lecture Notes Series on Computing)

This volume covers some of the most recent and significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software and computer-aided geometric design. Researchers, engineers, academics and graduate students interested in doing mathematics using computers should find this volume good reading and a valuable reference.