|
|
Sold Out
Book Categories |
| Preface | ||
| List of Contributors | ||
| Ch. 1 | The Characteristic Set Method and Its Applications | 3 |
| Ch. 2 | Some Algorithms for Zero Decomposition of Polynomial Systems | 43 |
| Ch. 3 | The Eigenvalue Approach to Polynomial System Solving | 75 |
| Ch. 4 | Solving the Yang-Baxter Equation by Wu's Method | 95 |
| Ch. 5 | Wu's Method for Automated Geometry Theorem Proving and Discovering | 125 |
| Ch. 6 | Mechanical Theorem Proving in Differential Geometry | 147 |
| Ch. 7 | Points Elimination Methods for Geometric Problem Solving | 175 |
| Ch. 8 | Clifford Algebra Approaches to Mechanical Geometry Theorem Proving | 205 |
| Ch. 9 | Proving by Examples | 231 |
| Ch. 10 | Search Methods Revisited | 253 |
| Ch. 11 | First-Order Polynomial Based Theorem Proving | 273 |
| Ch. 12 | Greatest Common Right Divisors, Least Common Left Multiples, and Subresultants of Ore Polynomials | 2ä |
| Ch. 13 | Algebraic Factorization and GCD Computation | 3ä |
| Ch. 14 | Conversion Between Implicit and Parametric Representations of Algebraic Varieties | 3ä |
| Ch. 15 | Centers, Foci, and Limit Cycles for Polynomial Differential Systems | 36ä |
| Ch. 16 | Exact Solitary Wave Solutions of Non-linear Evolution Equations | 389 |
| Ch. 17 | Applications of Mechanical Methods to Partial Differential Equations | 409 |
| Ch. 18 | Equation Solving in Robotics and Mechanisms | 433 |
| Ch. 19 | Blending Several Implicit Algebraic Surfaces | 461 |
| Ch. 20 | Geometric Theorem Provers and Algebraic Equation Solvers | 491 |
| References | 507 | |
| Index | 541 |
| Price | Condition | Delivery | Seller | Action |
| $225.60 | Digital |
| WonderClub |
Ned Hill
reviewed Mathematics Mechanization and Applications on February 27, 2014
Mathematics Mechanization and Applications
Advanced Engineering Mathematics 8th Edition
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Mathematics Mechanization and Applications
X
This Item is in Your Inventory
Mathematics Mechanization and Applications
X
You must be logged in to review the productsX
X
X
Add 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 , Mathematics Mechanization and Applications to the inventory that you are selling on WonderClubX
X
Add 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 , Mathematics Mechanization and Applications to your collection on WonderClub |