Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
San Diego :
Academic Press,
�2000.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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 Mechanical Geometry Theorem Proving. X. Hou, Proving by Examples. X. Gao, Search Methods Revisited. J. Wu, First-Order Polynomial Based Theorem Proving. Algebraic Computation: Z. Li, Greatest Common Right Divisors, Least Common Left Multiples, and Subresultants of Ore Polynomials. L. Zhi, Algebraic Factorization and GCD Computation. X. Gao, Conversion Between Implicit and Parametric Representations of Algebraic Varieties. Implementations and Applications: Z. Lu, S. Ma, Centers, Foci, and Limit Cycles for Polynomial Differential Systems. Z. Li, Exact Solitary Wave Solutions of Non-linear Evolution Equations. H. Zhang, E. Fan, Applications of Mechanical Methods to Partial Differential Equations. Q. Liao, Equation Solving in Robotics and Mechanisms. G. Feng, H. Ren, Y. Zhou, Blending Several Implicit Algebraic Surfaces. S. Chou, X. Gao, Z. Liu, D-K Wang, D. Wang, Geometric Theorem Provers and Algebraic Equation Solvers. References. Index.