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) | 649.09 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 noi 2001 | 649.09 lei 6-8 săpt. | |
Hardback (1) | 655.02 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 dec 1987 | 655.02 lei 6-8 săpt. |
Din seria Mathematics and Its Applications
- 18% Preț: 945.62 lei
- 15% Preț: 648.42 lei
- 15% Preț: 651.99 lei
- 15% Preț: 591.61 lei
- Preț: 394.29 lei
- 18% Preț: 950.17 lei
- 15% Preț: 586.85 lei
- 5% Preț: 655.17 lei
- 15% Preț: 658.70 lei
- 15% Preț: 648.56 lei
- 15% Preț: 604.84 lei
- Preț: 394.87 lei
- 15% Preț: 651.84 lei
- Preț: 374.76 lei
- Preț: 394.51 lei
- 15% Preț: 706.30 lei
- Preț: 391.02 lei
- Preț: 389.70 lei
- 15% Preț: 585.04 lei
- 15% Preț: 653.98 lei
- 15% Preț: 587.02 lei
- 20% Preț: 577.42 lei
- Preț: 395.47 lei
- 15% Preț: 601.88 lei
- 15% Preț: 594.53 lei
- 15% Preț: 651.84 lei
- 15% Preț: 649.06 lei
- Preț: 392.21 lei
- 15% Preț: 649.06 lei
- 15% Preț: 643.48 lei
- Preț: 398.15 lei
Preț: 655.02 lei
Preț vechi: 818.78 lei
-20% Nou
Puncte Express: 983
Preț estimativ în valută:
125.33€ • 130.86$ • 103.73£
125.33€ • 130.86$ • 103.73£
Carte tipărită la comandă
Livrare economică 04-18 aprilie
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