Mathematics Mechanization and Applications (Hardcover)

Before placing an order, please note:

  • You'll receive a confirmation email once your order is complete and ready for pickup. 
  • If you place a pre-order in the same order as currently available titles, an additional shipping fee will be added to your order. 
  • Women & Children First is not responsible for lost or stolen packages.
Mathematics Mechanization and Applications By Dongming Wang (Editor), Xiao-Shan Gao (Editor) Cover Image
By Dongming Wang (Editor), Xiao-Shan Gao (Editor)
$333.00
Unavailable

Description


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.
Product Details
ISBN: 9780127347608
ISBN-10: 0127347607
Publisher: Academic Press
Publication Date: July 25th, 2000
Pages: 551
Language: English