Mechanical Geometry Theorem Proving: Mathematics and Its Applications, cartea 41
Autor Shang-Ching Chouen Limba Engleză Paperback – 30 noi 2001
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 624.02 lei 43-57 zile | |
| SPRINGER NETHERLANDS – 30 noi 2001 | 624.02 lei 43-57 zile | |
| Hardback (1) | 629.71 lei 43-57 zile | |
| SPRINGER NETHERLANDS – 31 dec 1987 | 629.71 lei 43-57 zile |
Din seria Mathematics and Its Applications
- 20%
Preț: 960.38 lei - 15%
Preț: 632.63 lei - 18%
Preț: 908.91 lei - 15%
Preț: 623.39 lei - 15%
Preț: 626.82 lei - 15%
Preț: 568.82 lei -
Preț: 379.31 lei - 18%
Preț: 965.60 lei - 15%
Preț: 564.25 lei - 15%
Preț: 633.26 lei - 15%
Preț: 623.52 lei - 15%
Preț: 581.54 lei -
Preț: 379.89 lei - 15%
Preț: 626.68 lei -
Preț: 405.52 lei -
Preț: 379.51 lei - 15%
Preț: 679.01 lei -
Preț: 376.17 lei -
Preț: 374.91 lei - 20%
Preț: 566.92 lei - 15%
Preț: 628.73 lei - 20%
Preț: 624.91 lei -
Preț: 380.46 lei - 15%
Preț: 626.68 lei - 15%
Preț: 624.01 lei -
Preț: 377.32 lei - 15%
Preț: 624.01 lei - 15%
Preț: 618.64 lei -
Preț: 383.03 lei -
Preț: 371.00 lei - 15%
Preț: 614.24 lei
Preț: 624.02 lei
Preț vechi: 780.02 lei
-20% Nou
Puncte Express: 936
Preț estimativ în valută:
110.41€ • 128.62$ • 96.41£
110.41€ • 128.62$ • 96.41£
Carte tipărită la comandă
Livrare economică 19 ianuarie-02 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402003301
ISBN-10: 1402003307
Pagini: 380
Ilustrații: XII, 362 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1988
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Mathematics and Its Applications
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402003307
Pagini: 380
Ilustrații: XII, 362 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1988
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Mathematics and Its Applications
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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
Robert S. Boyer