Mathematics Mechanization and Applications

0 avg rating
( 0 ratings by GoodReads )
 
9780127347608: Mathematics Mechanization and Applications

Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization.
* Addresses the frontiers of research with original ideas and results
* Includes sophisticated, successful applications to scientific and engineering problems
* Covers polynomial system solving, geometric reasoning, computer algebra, and mathematical software
* Is comprehensive and focused
* Contains an extensive bibliography--of high reference value--particularly for western readers

"synopsis" may belong to another edition of this title.

From the Back Cover:

Mathematics Mechanization and Applications provides surveys for major research developments on mechanizing algebraic equations-solving and geometric theorem proving with diverse applications accomplished in Wu's extended Chinese group.


The book:

* addresses the frontiers of research, with new and original ideas and results
* includes sophisticated and successful applications to scientific and engineering problems
* covers polynomial system solving; geometric reasoning; computer algebra; and mathematical software
* is comprehensive and focused, and easy to read with a uniform presentation
* contains an extensive bibliography, of high value for reference to western readers.

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 of it or the work that has arisen around it, will also find the book good reading.

About the Author:

Dongming Wang has been a senior researcher at CNRS since 1992. He is recognized for his work and expertise on automated geometric reasoning, elimination methods, and applications of symbolic computation to differential equations and neural networks.

Xiao-Shan Gao received his Ph.D. from Academia Sinica in 1988 and worked as a research scientist at the University of Texas at austin from 1988 to 1990, and at Wichita State University from 1992 to 1996. He has been a research professor at Academia Sinica since 1997. His major research interests include automated geometric reasoning, polynomial system and geometric constraint solving, and intelligent computer-aided design and instruction.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Dongming Wang
Published by Academic Press (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press, 2000. Hardcover. Book Condition: New. book. Bookseller Inventory # 0127347607

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 108.01
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

2.

Dongming Wang
Published by Elsevier Science Publishing Co Inc, United States (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc, United States, 2000. Hardback. Book Condition: New. New.. 253 x 175 mm. Language: English . Brand New Book. Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu s extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization. Bookseller Inventory # AA59780127347608

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 125.57
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Dongming Wang
Published by Elsevier Science Publishing Co Inc, United States (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Elsevier Science Publishing Co Inc, United States, 2000. Hardback. Book Condition: New. New.. 253 x 175 mm. Language: English . Brand New Book. Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu s extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to problems in science and engineering. It is distinguished by its uniform presentation with all-Chinese contributors and a 40-page list of references. There are 20 chapters written by experienced researchers. The book is divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications. Each chapter is devoted to surveying and expounding the main results achieved from one selected subject. The book contains surveys for diverse applications of the theories and methods to real world problems, ranging from the analysis of robotics and mechanisms to nonlinear programming and chemical equilibrium computation. Part of the theoretical and practical work reviewed in the book has been either unpublished or published only in Chinese journals or even only in the Chinese language. This book therefore provides Western readers working in symbolic and algebraic computation, geometric reasoning and modeling, algorithmic mathematics, robotics, CAGD, and other relevant areas with an easily accessible source of references for what the Chinese researchers have been doing under the banner of mathematics mechanization. Bookseller Inventory # AA59780127347608

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 130.21
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Dongming Wang
Published by Academic Press (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Academic Press, 2000. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX0127347607

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 147.75
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Dongming Wang
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Quantity Available: 2
Seller
Bookshub
(Karol Bagh, India)
Rating
[?]

Book Description Book Condition: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Bookseller Inventory # ABE-190516-150796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 159.78
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

6.

Dongming Wang
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Quantity Available: 2
Seller
EBOOKSTORE2010
(New Delhi, ND, India)
Rating
[?]

Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHAK150796

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 159.83
Convert Currency

Add to Basket

Shipping: FREE
From India to U.S.A.
Destination, Rates & Speeds

7.

Dongming Wang
Published by Academic Pr (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Academic Pr, 2000. Hardcover. Book Condition: Brand New. 1st edition. 551 pages. 9.50x6.75x1.50 inches. In Stock. Bookseller Inventory # __0127347607

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 185.25
Convert Currency

Add to Basket

Shipping: US$ 7.43
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Dongming Wang
Published by Elsevier (2016)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Elsevier, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780127347608_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 197.37
Convert Currency

Add to Basket

Shipping: US$ 4.14
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Dongming Wang
Published by Academic Press (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Academic Press, 2000. Hardback. Book Condition: NEW. 9780127347608 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0895389

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 196.47
Convert Currency

Add to Basket

Shipping: US$ 9.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Dongming Wang
Published by Academic Press (2000)
ISBN 10: 0127347607 ISBN 13: 9780127347608
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Academic Press, 2000. Hardback. Book Condition: NEW. 9780127347608 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE01199308

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 196.47
Convert Currency

Add to Basket

Shipping: US$ 9.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book