Mechanical Geometry Theorem Proving
Autor Shang-Ching Chouen Limba Engleză Paperback – 30 noi 2001
Preț: 623.54 lei
Preț vechi: 779.43 lei
-20%
Puncte Express: 935
Carte tipărită la comandă
Livrare economică 22 iunie-06 iulie
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