UID:
almahu_9948621647302882
Umfang:
VIII, 328 p.
,
online resource.
Ausgabe:
1st ed. 2001.
ISBN:
9783540454106
Serie:
Lecture Notes in Artificial Intelligence ; 2061
Anmerkung:
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.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783662192153
Weitere Ausg.:
Printed edition: ISBN 9783540425984
Sprache:
Englisch
DOI:
10.1007/3-540-45410-1
URL:
https://doi.org/10.1007/3-540-45410-1
Bookmarklink
