Autexier, Serge. <br/><br/>
Intelligent Computer Mathematics 

<br/><br/><label>ISBN: </label>9783642141287