| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 5667A-9783540425984 Herst.-Nr.: 9783540425984 EAN/GTIN: 9783540425984 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | On Spatial Constraint Solving Approaches.- A Hybrid Method for Solving Geometric Constraint Problems.- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study.- A Practical Program of Automated Proving for a Class of Geometric Inequalities.- Randomized Xero Testing of Radical Expressions and Elementary Geometry Theorem Proving.- Algebraic and Semialgebraic Proofs: Methods and Paradoxes.- Remarks on Geometric Theorem Proving.- The Kinds of Truth of Geometry Theorems.- A Complex Change of Variables for Geometrical Reasoning.- Reasoning about Surfaces Using Differential Zero and Ideal Decomposition.- Effective Methods in Computational Synthetic Geometry.- Decision Complexity in Dynamic Geometry.- Automated Theorem Proving in Incidence Geometry -- A Bracket Algebra Based Elimination Method.- Qubit Logic, Algebra and Geometry.- Nonstandard Geometric Proofs.- Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization.- Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Jürgen Richter-Gebert; Dongming Wang | Verlag: | Springer Berlin | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Automat, Computer Vision, Computer-Aided Design, Formal Verification, Geometric Deduction, Geometric Design, Geometric Modeling, Geometric Problem Solving |
| ![](/p.gif) | ![](/p.gif) |
| |