Reset Filters
Branch: 普陀宜川

Cover is for reference only

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 pro...

Full description

Saved in:
Bibliographic Details
Corporate Authors: Elsevier Science & Technology
Group Author: Gao, Xiao-Shan; Wang, Dongming, 1961
Published: Academic Press,
Publisher Address: San Diego :
Publication Dates: 2000.
Literature type: eBook
Language: English
Subjects:
Equations > Numerical solutions > Data processing
Automatic theorem proving
Aufsatzsammlung
Automatisches Beweisverfahren
Computeralgebra
Geometrische Modellierung
Electronic books
Online Access: http://www.sciencedirect.com/science/book/9780127347608
Summary: 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, alge
Carrier Form: 1 online resource (xix, 551 pages) : illustrations
Bibliography: Includes bibliographical references (pages 507-539) and index.
ISBN: 9780127347608
0127347607
Index Number: QA218
CLC: O1
Contents: Preface. List of Contributors. Polynomial System Solving: W. Wu, The Characteristic Set Method and Its Application. D. Wang, Some Algorithms for Zero Decomposition of Polynomial Systems. S. Zhang, G. Feng, The Eigenvalue Approach to Polynomial System. S. Wang, K. Wu, Solving the Yang-Baxter Equation by Wu's Method. Automated Geometric Reasoning: S. Chou, D. Lin, Wu's Method for Automated Geometry Theorem Proving and Discovering. H. Li, Mechanical Theorem Proving in Differential Geometry. J. Zhang, Points Elimination Methods for Geometric Problem Solving. H. Li, Clifford Algebra Approaches to

Related Book Recommendations