Clicky

Intelligent Computer Mathematics by Herman Geuvers and similar books you'll love - Bookscovery

Home > Authors > Herman Geuvers > Intelligent Computer Mathematics

Buy at: Bookshop.org Amazon

Intelligent Computer Mathematics

Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

Recent activity

Rate this book to see your activity here.

3 Books Similar to Intelligent Computer Mathematics by Herman Geuvers

Bookscovery readers who liked Intelligent Computer Mathematics also like Interactive Theorem Proving, Type Theory and Formal Proof and Computer Algebra in Scientific Computing. How many of these have you read?

Interactive Theorem Proving by Marko Van Eekelen

Cover of Interactive Theorem Proving
Buy this book at:
Bookshop.org Amazon

Type Theory and Formal Proof by Rob Nederpelt

Cover of Type Theory and Formal Proof
Buy this book at:
Bookshop.org Amazon

Computer Algebra in Scientific Computing by Matthew England

Cover of Computer Algebra in Scientific Computing
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Intelligent Computer Mathematics

Please sign in to leave a comment