Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
"This book is of interest to researchers, software developers and graduate students in symbolic and algebraic computation, automated theorem proving, algorithmic mathematics, and computer-aided mathematical problem solving. It is relevant for researchers and university teachers in computer-aided instruction and education; and for engineers and practitioners in mechanics, computer-aided geometric design, geometric modelling and robotics.
People in many other related areas, from pure mathematics to computer-aided design, particularly those who know of the Wu method, but have little knowledge or understanding of it and the work that has arisen around it, will also find the book good reading."--BOOK JACKET.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Showing 2 featured editions. View all 2 editions?
Edition | Availability |
---|---|
1
Mathematics Mechanization and Applications
2000, Elsevier Science & Technology Books
in English
0080535968 9780080535968
|
aaaa
Libraries near you:
WorldCat
|
2
Mathematics Mechanization and Applications
January 15, 2000, Academic Press
in English
0127347607 9780127347608
|
zzzz
Libraries near you:
WorldCat
|
Community Reviews (0)
Feedback?History
- Created November 18, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
November 18, 2022 | Created by ImportBot | Imported from Better World Books record |