Cantitate/Preț
Produs

Mechanical Geometry Theorem Proving: Mathematics and Its Applications, cartea 41

Autor Shang-Ching Chou
en Limba Engleză Hardback – 31 dec 1987
Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 61484 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 30 noi 2001 61484 lei  6-8 săpt.
Hardback (1) 62045 lei  6-8 săpt.
  SPRINGER NETHERLANDS – 31 dec 1987 62045 lei  6-8 săpt.

Din seria Mathematics and Its Applications

Preț: 62045 lei

Preț vechi: 77555 lei
-20% Nou

Puncte Express: 931

Preț estimativ în valută:
11877 12939$ 9964£

Carte tipărită la comandă

Livrare economică 19 decembrie 24 - 02 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789027726506
ISBN-10: 9027726507
Pagini: 378
Ilustrații: XII, 362 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.68 kg
Ediția:1987
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Mathematics and Its Applications

Locul publicării:Dordrecht, Netherlands

Public țintă

Research

Cuprins

I: Methods in Mechanical Geometry Theorem Proving.- 1. An Introduction to Wu’s Method.- 2. Ritt’s Characteristic Set Method.- 3. Algebra and Geometry.- 4. The Complete Method of Wu.- 5. Geometry Theorem Proving Using The Gröbner Basis Method.- References.- II: 512 Theorems Mechanically Proved.- Explanations.- 1. General Remarks.- 2. Algebraic Representations of Geometric Conditions.- Theorems Proved Mechanically by Wu’s Method.- 2. Algebraic Representations of Geometric Conditions.- Appendix. The Timing For the Gröbner Basis Method.- Index of Examples.

Recenzii

`This work is, in my opinion, completely revolutionary. I believe that, by itself, the book will convince any mathematician in the world that the automation of mathematical reasoning is a profound and rewarding enterprise of extraordinary potential.'
Robert S. Boyer