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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162129327 | ||
| 003 | OCoLC | ||
| 005 | 20231117014756.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s2000 caua ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d COO |d DEBSZ |d OCLCQ |d OCLCE |d TULIB |d OCLCO |d OCLCQ |d OCLCF |d YDXCP |d OCLCQ |d D6H |d LEAUB |d OL$ |d OCLCO |d BWN |d OCLCA |d VLY |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 651796136 |a 779920087 |a 989456508 |a 1110194890 |a 1162077717 | ||
| 020 | |a 9780127347608 | ||
| 020 | |a 0127347607 | ||
| 024 | 3 | |a 9780127347608 | |
| 035 | |a (OCoLC)162129327 |z (OCoLC)651796136 |z (OCoLC)779920087 |z (OCoLC)989456508 |z (OCoLC)1110194890 |z (OCoLC)1162077717 | ||
| 050 | 4 | |a QA218 |b .M19 2000eb | |
| 082 | 0 | 4 | |a 512.9/4 |2 22 |
| 082 | 0 | 4 | |a 511.3 |
| 084 | |a PD 20 |2 blsrissc | ||
| 084 | |a ST 315 |2 rvk | ||
| 084 | |a ST 600 |2 rvk | ||
| 084 | |a MAT 001f |2 stub | ||
| 245 | 0 | 0 | |a Mathematics mechanization and applications / |c edited by Xiao-Shan Gao and Dongming Wang. |
| 260 | |a San Diego : |b Academic Press, |c �2000. | ||
| 300 | |a 1 online resource (xix, 551 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a 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. | ||
| 505 | 0 | |a 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. | |
| 504 | |a Includes bibliographical references (pages 507-539) and index. | ||
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Equations |x Numerical solutions |x Data processing. | |
| 650 | 0 | |a Automatic theorem proving. | |
| 650 | 6 | |a �Equations |0 (CaQQLa)201-0041219 |x Solutions num�eriques |0 (CaQQLa)201-0041219 |x Informatique. |0 (CaQQLa)201-0380011 | |
| 650 | 6 | |a Th�eor�emes |x D�emonstration automatique. |0 (CaQQLa)201-0031979 | |
| 650 | 7 | |a Automatic theorem proving |2 fast |0 (OCoLC)fst00822777 | |
| 650 | 7 | |a Equations |x Numerical solutions |x Data processing |2 fast |0 (OCoLC)fst00914496 | |
| 650 | 7 | |a Aufsatzsammlung |2 gnd |0 (DE-588)4143413-4 | |
| 650 | 7 | |a Automatisches Beweisverfahren |2 gnd |0 (DE-588)4069034-9 | |
| 650 | 7 | |a Computeralgebra |2 gnd |0 (DE-588)4010449-7 | |
| 650 | 7 | |a Geometrische Modellierung |2 gnd |0 (DE-588)4156717-1 | |
| 700 | 1 | |a Gao, Xiao-Shan. | |
| 700 | 1 | |a Wang, Dongming, |d 1961- | |
| 776 | 0 | 8 | |i Print version: |t Mathematics mechanization and applications. |d San Diego : Academic Press, �2000 |z 0127347607 |z 9780127347608 |w (DLC) 99066948 |w (OCoLC)44915766 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780127347608 |z Texto completo |