Automated Deduction in Geometry
Editat de Xiao-Lu Gao, Dongming Wang, Lu Yangen Limba Engleză Paperback – 13 oct 1999
Preț: 322.16 lei
Preț vechi: 402.70 lei
-20%
Puncte Express: 483
Carte tipărită la comandă
Livrare economică 11-25 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.