KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
Produktbild: Automated Deduction in Geometry
Band 7993

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Aus der Reihe Lecture Notes in Artificial Intelligence

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2013

Abbildungen

X, 193 p. 55 illus.

Herausgeber

Tetsuo Ida + weitere

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

318 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40671-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

12.09.2013

Abbildungen

X, 193 p. 55 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

193

Maße (L/B/H)

23,5/15,5/1,2 cm

Gewicht

318 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-40671-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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

  • Proof and Computation in Geometry.- Automation of Geometry: Theorem Proving, Diagram.- Generation, and Knowledge Management.- Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization.- Extending the Descartes Circle Theorem for Steiner n -Cycles.- Equation Systems with Free-Coordinates Determinants.- Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls.- Realizations of Volume Frameworks.- Rigidity of Origami Universal Molecules.- Algebraic Analysis of Huzita’s Origami Operations and Their Extensions.- On the Formal Analysis of Geometrical Optics in HOL.- Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.