Mechanical Geometry Theorem Proving: Mathematics and Its Applications, cartea 41
Autor Shang-Ching Chouen Limba Engleză Hardback – 31 dec 1987
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 614.84 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 noi 2001 | 614.84 lei 6-8 săpt. | |
Hardback (1) | 620.45 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1987 | 620.45 lei 6-8 săpt. |
Din seria Mathematics and Its Applications
- Preț: 228.74 lei
- 18% Preț: 894.99 lei
- 15% Preț: 614.21 lei
- 15% Preț: 617.16 lei
- 15% Preț: 560.41 lei
- Preț: 373.61 lei
- 18% Preț: 904.41 lei
- 15% Preț: 555.91 lei
- 5% Preț: 620.61 lei
- 15% Preț: 623.94 lei
- 15% Preț: 614.34 lei
- 15% Preț: 572.94 lei
- Preț: 374.17 lei
- 15% Preț: 617.46 lei
- Preț: 374.76 lei
- Preț: 373.56 lei
- 15% Preț: 669.01 lei
- Preț: 370.50 lei
- Preț: 369.27 lei
- 15% Preț: 553.81 lei
- 15% Preț: 619.47 lei
- 15% Preț: 556.07 lei
- 20% Preț: 577.42 lei
- Preț: 374.72 lei
- 15% Preț: 569.74 lei
- 15% Preț: 563.19 lei
- 15% Preț: 617.46 lei
- 15% Preț: 614.82 lei
- Preț: 371.39 lei
- 15% Preț: 614.39 lei
- 15% Preț: 609.54 lei
- Preț: 369.06 lei
Preț: 620.45 lei
Preț vechi: 775.55 lei
-20% Nou
Puncte Express: 931
Preț estimativ în valută:
118.77€ • 129.39$ • 99.64£
118.77€ • 129.39$ • 99.64£
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
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ă
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