Book

Intelligent Computer Mathematics

by Catherine Dubois, Manfred Kerber