Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science, 2061, Band 2061) - Softcover

Wang, Dongming; Richter-Gebert, J??rgen

 
9783540425984: Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer Science, 2061, Band 2061)
Softcover
ISBN 10: 3540425985 ISBN 13: 9783540425984
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540425985
ISBN 13 
9783540425984
Einband
Taschenbuch
Anzahl der Seiten
340
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland