Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Deduction in Geometry
  • Produktbild: Automated Deduction in Geometry
Band 1669

Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.10.1999

Abbildungen

VIII, 292 p.

Herausgeber

Xiao-lu Gao + weitere

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66672-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.10.1999

Abbildungen

VIII, 292 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

292

Maße (L/B/H)

23,5/15,5/1,7 cm

Gewicht

458 g

Auflage

1999

Sprache

Englisch

ISBN

978-3-540-66672-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Deduction in Geometry
  • Produktbild: Automated Deduction in Geometry
  • 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.