Automated Deduction in Geometry
Editat de Xiao-Lu Gao, Dongming Wang, Lu Yangen Limba Engleză Paperback – 13 oct 1999
Preț: 321.17 lei
Preț vechi: 401.46 lei
-20% Nou
Puncte Express: 482
Preț estimativ în valută:
56.83€ • 66.28$ • 49.90£
56.83€ • 66.28$ • 49.90£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540666721
ISBN-10: 3540666729
Pagini: 300
Ilustrații: VIII, 292 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540666729
Pagini: 300
Ilustrații: VIII, 292 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:1999
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Automatic Geometry Theorem-Proving and Automatic Geometry Problem-Solving.- Solving Geometric Problems with Real Quantifier Elimination.- Automated Discovering and Proving for Geometric Inequalities.- Proving Newton’s Propositio Kepleriana Using Geometry and Nonstandard Analysis in Isabelle.- Readable Machine Solving in Geometry and ICAI Software MSG.- Plane Euclidean Reasoning.- A Clifford Algebraic Method for Geometric Reasoning.- Clifford Term Rewriting for Geometric Reasoning in 3D.- Some Applications of Clifford Algebra to Geometries.- Decomposing Algebraic Varieties.- An Application of Automatic Theorem Proving in Computer Vision.- Automated Geometry Diagram Construction and Engineering Geometry.- A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction.- Variant Geometry Analysis and Synthesis in Mechanical CAD.
Caracteristici
Includes supplementary material: sn.pub/extras