Automated Deduction in Geometry
Springer Berlin (Verlag)
978-3-540-66672-1 (ISBN)
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.
Erscheint lt. Verlag | 13.10.1999 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 292 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 406 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Mathematik / Informatik ► Mathematik ► Geometrie / Topologie | |
Schlagworte | Automat • automated deduction • Automatisches Beweisverfahren • Composing • Computational Geometry • Computer-Aided Geometric Design • computer vision • Deduktionssystem • Geometric Problem Solving • Geometrie • GEOMETRIE (EDV) • Geometry Software • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Problem Solving • proving • theorem proving |
ISBN-10 | 3-540-66672-9 / 3540666729 |
ISBN-13 | 978-3-540-66672-1 / 9783540666721 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich