Check nearby libraries
Buy this book
"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
Edition | Availability |
---|---|
1
Mathematics Mechanization and Applications
January 15, 2000, Academic Press
in English
0127347607 9780127347608
|
aaaa
Libraries near you:
WorldCat
|
2
Mathematics Mechanization and Applications
2000, Elsevier Science & Technology Books
in English
0080535968 9780080535968
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"There are two main activities of mathematics: theorem proving and equation solving."
Classifications
ID Numbers
Community Reviews (0)
Feedback?July 17, 2024 | Edited by MARC Bot | import existing book |
December 1, 2020 | Edited by MARC Bot | import existing book |
July 31, 2020 | Created by ImportBot | import existing book |