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

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.07.2015

Abbildungen

IX, 181 p. 54 illus.

Herausgeber

Francisco Botana + weitere

Verlag

Springer

Seitenzahl

181

Maße (L/B/H)

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

Gewicht

300 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-21361-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.07.2015

Abbildungen

IX, 181 p. 54 illus.

Herausgeber

Verlag

Springer

Seitenzahl

181

Maße (L/B/H)

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

Gewicht

300 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-21361-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
  • Produktbild: Automated Deduction in Geometry

  • Star Unfolding Polygons.- Volume Frameworks and Deformation Varieties.- Recent Advances in Real Geometric Reasoning.- The Relation Tool in GeoGebra.- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.- Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons.- Extension of Simson-Wallace Theorem on Skew Quadrilaterals.- Current Status of the I2GATP Common Format.- On Flattenability of Graphs.- Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams.- Combinatorial Rigidity and Independence of Generalized Pinned Subspace-Incidence Constraint Systems.