Automated Deduction in Geometry 1
bokomslag Automated Deduction in Geometry
Data & IT

Automated Deduction in Geometry

Pascal Schreck • Julien Narboux • Jürgen Richter-Gebert

Pocket

719:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 259 sidor
  • 2011
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
  • Författare: Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert
  • Format: Pocket/Paperback
  • ISBN: 9783642250699
  • Språk: Engelska
  • Antal sidor: 259
  • Utgivningsdatum: 2011-11-22
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Du kanske gillar

  1. bokomslag Marriage of Sense and Thought

    Marriage of Sense and Thought

    Stephen Edelglass, Georg Maier, Hans Gebert, John Davy

    Pocket

    289:-
  2. bokomslag »Weil ich will halt einfach mein eigenes Ding machen«

    »Weil ich will halt einfach mein eige...

    Erhard Fischer, Christina Kießling, Tina Monár-Gebert

    Pocket

    539:-
  3. bokomslag C.I. Lewis

    C.I. Lewis

    Quentin Kammer, Jean-Philippe Narboux, Henri Wagner

    Pocket

    739:-
  4. bokomslag Finding One's Way Through Wittgenstein's Philosophical Investigations

    Finding One's Way Through Wittgenstei...

    Jean-Philippe Narboux Emmanuel Bermon

    Inbunden

    1299:-
  5. bokomslag C.I. Lewis

    C.I. Lewis

    Quentin Kammer, Jean-Philippe Narboux, Henri Wagner

    Inbunden

    2499:-
  6. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Tomas Recio Francisco Botana

    Pocket

    719:-
  7. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Xiao-Lu Gao, Dongming Wang, Lu Yang

    Pocket

    719:-
  8. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Jacques Fleuriot Tetsuo Ida

    Pocket

    669:-
  9. bokomslag Finding One's Way Through Wittgenstein's Philosophical Investigations

    Finding One's Way Through Wittgenstei...

    Jean-Philippe Narboux Emmanuel Bermon

    1299:-
  10. bokomslag Automated Deduction in Geometry

    Automated Deduction in Geometry

    Dongming Wang Hoon Hong

    Pocket

    749:-

Andra av samma författare

  1. bokomslag Realization Spaces of Polytopes

    Realization Spaces of Polytopes

    Jürgen Richter-Gebert

    Pocket

    439:-
  2. bokomslag User Manual for the Interactive Geometry Software Cinderella

    User Manual for the Interactive Geome...

    Ulrich H Kortenkamp Jürgen Richter-Ge...

    Pocket

    719:-
  3. bokomslag Perspectives on Projective Geometry

    Perspectives on Projective Geometry

    Jürgen Richter-Gebert

    Inbunden

    1779:-
  4. bokomslag Cinderella.2 Manual

    Cinderella.2 Manual

    Ulrich H Kortenkamp Jürgen Richter-Ge...

    719:-
  5. bokomslag Perspectives on Projective Geometry

    Perspectives on Projective Geometry

    Jürgen Richter-Gebert

    1149:-