Mechanical Geometry Theorem Proving
Autor Shang-Ching Chouen Limba Engleză Paperback – 30 noi 2001
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 623.54 lei 6-8 săpt. | |
| Springer – 30 noi 2001 | 623.54 lei 6-8 săpt. | |
| Hardback (1) | 629.71 lei 6-8 săpt. | |
| SPRINGER NETHERLANDS – 31 dec 1987 | 629.71 lei 6-8 săpt. |
Preț: 623.54 lei
Preț vechi: 779.43 lei
-20%
Puncte Express: 935
Preț estimativ în valută:
110.19€ • 127.84$ • 96.14£
110.19€ • 127.84$ • 96.14£
Carte tipărită la comandă
Livrare economică 16-30 aprilie
Specificații
ISBN-13: 9781402003301
ISBN-10: 1402003307
Pagini: 380
Ilustrații: XII, 362 p.
Dimensiuni: 160 x 240 x 21 mm
Greutate: 0.61 kg
Ediția:Softcover reprint of the original 1st edition 1988
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 1402003307
Pagini: 380
Ilustrații: XII, 362 p.
Dimensiuni: 160 x 240 x 21 mm
Greutate: 0.61 kg
Ediția:Softcover reprint of the original 1st edition 1988
Editura: Springer
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