skip to content
Mathematics mechanization and applications Preview this item
ClosePreview this item
Checking...

Mathematics mechanization and applications

Author: Xiao-Shan Gao; Dongming Wang
Publisher: San Diego : Academic Press, ©2000.
Edition/Format:   Print book : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Additional Physical Format: Online version:
Mathematics mechanization and applications.
San Diego : Academic Press, ©2000
(OCoLC)651796136
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Xiao-Shan Gao; Dongming Wang
ISBN: 0127347607 9780127347608
OCLC Number: 44915766
Description: xix, 551 pages : illustrations ; 26 cm
Contents: Ch. 1. The Characteristic Set Method and Its Applications / Wen-tsun Wu --
Ch. 2. Some Algorithms for Zero Decomposition of Polynomial Systems / Dongming Wang --
Ch. 3. The Eigenvalue Approach to Polynomial System Solving / Shugong Zhang and Guochen Feng --
Ch. 4. Solving the Yang-Baxter Equation by Wu's Method / Shi-kun Wang and Ke Wu --
Ch. 5. Wu's Method for Automated Geometry Theorem Proving and Discovering / Shang-Ching Chou and Dongdai Lin --
Ch. 6. Mechanical Theorem Proving in Differential Geometry / Hongbo Li --
Ch. 7. Points Elimination Methods for Geometric Problem Solving / Jing-Zhong Zhang --
Ch. 8. Clifford Algebra Approaches to Mechanical Geometry Theorem Proving / Hongbo Li --
Ch. 9. Proving by Examples / Xiaorong Hou --
Ch. 10. Search Methods Revisited / Xiao-Shan Gao --
Ch. 11. First-Order Polynomial Based Theorem Proving / Jinzhao Wu --
Ch. 12. Greatest Common Right Divisors, Least Common Left Multiples, and Subresultants of Ore Polynomials / Ziming Li --
Ch. 13. Algebraic Factorization and GCD Computation / Lihong Zhi --
Ch. 14. Conversion Between Implicit and Parametric Representations of Algebraic Varieties / Xiao-Shan Gao --
Ch. 15. Centers, Foci, and Limit Cycles for Polynomial Differential Systems / Zhengyi Lu and Shilong Ma --
Ch. 16. Exact Solitary Wave Solutions of Non-linear Evolution Equations / Zhibin Li --
Ch. 17. Applications of Mechanical Methods to Partial Differential Equations / Hongqing Zhang and Engui Fan --
Ch. 18. Equation Solving in Robotics and Mechanisms / Qizheng Liao --
Ch. 19. Blending Several Implicit Algebraic Surfaces / Guochen Feng, Hongju Ren and Yunshi Zhou --
Ch. 20. Geometric Theorem Provers and Algebraic Equation Solvers / Shang-Ching Chou, Xiao-Shan Gao and Zhuo-Jun Liu / [and others].
Responsibility: edited by Xiao-Shan Gao and Dongming Wang.
More information:

Abstract:

Divided into four parts: polynomial system solving, automated geometric reasoning, algebraic computation, and implementations and applications, this book contains surveys for diverse applications of  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"An outstanding feature of the book is the great variety and diversity ofthe material treated, together with the brevity, lucidity, and simplicity with which the leading ideas are presented. Another Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/44915766> # Mathematics mechanization and applications
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "44915766" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/943456619#Place/san_diego> ; # San Diego
   schema:about <http://experiment.worldcat.org/entity/work/data/943456619#Topic/geometrische_modellierung> ; # Geometrische Modellierung
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://dewey.info/class/512.94/e21/> ;
   schema:about <http://id.worldcat.org/fast/914496> ; # Equations--Numerical solutions--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/943456619#Topic/computeralgebra> ; # Computeralgebra
   schema:about <http://experiment.worldcat.org/entity/work/data/943456619#Topic/aufsatzsammlung> ; # Aufsatzsammlung
   schema:about <http://experiment.worldcat.org/entity/work/data/943456619#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/943456619#Topic/equations_numerical_solutions_data_processing> ; # Equations--Numerical solutions--Data processing
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/120094986> ; # Xiao-Shan Gao
   schema:contributor <http://viaf.org/viaf/66551896> ; # Dongming Wang
   schema:copyrightYear "2000" ;
   schema:datePublished "2000" ;
   schema:description "Ch. 1. The Characteristic Set Method and Its Applications / Wen-tsun Wu -- Ch. 2. Some Algorithms for Zero Decomposition of Polynomial Systems / Dongming Wang -- Ch. 3. The Eigenvalue Approach to Polynomial System Solving / Shugong Zhang and Guochen Feng -- Ch. 4. Solving the Yang-Baxter Equation by Wu's Method / Shi-kun Wang and Ke Wu -- Ch. 5. Wu's Method for Automated Geometry Theorem Proving and Discovering / Shang-Ching Chou and Dongdai Lin -- Ch. 6. Mechanical Theorem Proving in Differential Geometry / Hongbo Li -- Ch. 7. Points Elimination Methods for Geometric Problem Solving / Jing-Zhong Zhang -- Ch. 8. Clifford Algebra Approaches to Mechanical Geometry Theorem Proving / Hongbo Li -- Ch. 9. Proving by Examples / Xiaorong Hou -- Ch. 10. Search Methods Revisited / Xiao-Shan Gao -- Ch. 11. First-Order Polynomial Based Theorem Proving / Jinzhao Wu -- Ch. 12. Greatest Common Right Divisors, Least Common Left Multiples, and Subresultants of Ore Polynomials / Ziming Li -- Ch. 13. Algebraic Factorization and GCD Computation / Lihong Zhi -- Ch. 14. Conversion Between Implicit and Parametric Representations of Algebraic Varieties / Xiao-Shan Gao -- Ch. 15. Centers, Foci, and Limit Cycles for Polynomial Differential Systems / Zhengyi Lu and Shilong Ma -- Ch. 16. Exact Solitary Wave Solutions of Non-linear Evolution Equations / Zhibin Li -- Ch. 17. Applications of Mechanical Methods to Partial Differential Equations / Hongqing Zhang and Engui Fan -- Ch. 18. Equation Solving in Robotics and Mechanisms / Qizheng Liao -- Ch. 19. Blending Several Implicit Algebraic Surfaces / Guochen Feng, Hongju Ren and Yunshi Zhou -- Ch. 20. Geometric Theorem Provers and Algebraic Equation Solvers / Shang-Ching Chou, Xiao-Shan Gao and Zhuo-Jun Liu / [and others]."@en ;
   schema: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. * 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."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/943456619> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/651796136> ;
   schema:name "Mathematics mechanization and applications"@en ;
   schema:productID "44915766" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/44915766#PublicationEvent/san_diego_academic_press_2000> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/943456619#Agent/academic_press> ; # Academic Press
   schema:url <http://catdir.loc.gov/catdir/toc/els033/99066948.html> ;
   schema:workExample <http://worldcat.org/isbn/9780127347608> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA0W4405> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/44915766> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/943456619#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/943456619#Topic/equations_numerical_solutions_data_processing> # Equations--Numerical solutions--Data processing
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh85044511> ;
   schema:name "Equations--Numerical solutions--Data processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/943456619#Topic/geometrische_modellierung> # Geometrische Modellierung
    a schema:Intangible ;
   schema:name "Geometrische Modellierung"@en ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/914496> # Equations--Numerical solutions--Data processing
    a schema:Intangible ;
   schema:name "Equations--Numerical solutions--Data processing"@en ;
    .

<http://viaf.org/viaf/120094986> # Xiao-Shan Gao
    a schema:Person ;
   schema:familyName "Gao" ;
   schema:givenName "Xiao-Shan" ;
   schema:name "Xiao-Shan Gao" ;
    .

<http://viaf.org/viaf/66551896> # Dongming Wang
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Wang" ;
   schema:givenName "Dongming" ;
   schema:name "Dongming Wang" ;
    .

<http://worldcat.org/isbn/9780127347608>
    a schema:ProductModel ;
   schema:isbn "0127347607" ;
   schema:isbn "9780127347608" ;
    .

<http://www.worldcat.org/oclc/651796136>
    a schema:CreativeWork ;
   rdfs:label "Mathematics mechanization and applications." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/44915766> ; # Mathematics mechanization and applications
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.