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

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2001

Herausgeber

Jürgen Richter-Gebert + weitere

Verlag

Springer Berlin

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42598-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2001

Herausgeber

Verlag

Springer Berlin

Seitenzahl

328

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

517 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42598-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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
  • 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.