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

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.1998

Abbildungen

VII, 240 p.

Herausgeber

Dongming Wang

Verlag

Springer Berlin

Seitenzahl

240

Maße (L/B/H)

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

Gewicht

382 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-64297-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.1998

Abbildungen

VII, 240 p.

Herausgeber

Dongming Wang

Verlag

Springer Berlin

Seitenzahl

240

Maße (L/B/H)

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

Gewicht

382 g

Auflage

1997

Sprache

Englisch

ISBN

978-3-540-64297-8

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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
  • Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets.- Extended Dixon's resultant and its applications.- Computational geometry problems in REDLOG.- Probabilistic verification of elementary geometry statements.- Computational synthetic geometry with Clifford algebra.- Clifford algebraic calculus for geometric reasoning.- Area in Grassmann geometry.- Automated production of readable proofs for theorems in non-Euclidean geometries.- Points on algebraic curves and the parametrization problem.- Flat central configurations of four planet motions.- Integration of reasoning and algebraic calculus in geometry.