Mathematics Mechanization and Applications

Wang, Dongming and Xiao-Shan Gao

ISBN 10: 0127347607 / ISBN 13: 9780127347608

Edité par Academic Pr Inc 18.07.2000., 2000

A propos de cet article

551 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1215 25,3 x 17,5 x 3,7 cm, Gebundene Ausgabe.

N° de réf. du vendeur 392213

Détails bibliographiques

• Titre: Mathematics Mechanization and Applications
• Éditeur: Academic Pr Inc 18.07.2000.
• Date de parution: 2000
• Langue: anglais
• ISBN à 10 chiffres: 0127347607
• ISBN à 13 chiffres: 9780127347608
• Reliure: Couverture rigide
• Édition: Auflage: New.
• État de l'article: Sehr gut
• Poids: 1215 grammes
• Catalogues du vendeur:
  • Alle Bücher

A propos de ce titre

Synopsis

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.

À propos des auteurs

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.