Coverart for item
The Resource Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)

Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)

Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
Title
Automated deduction in geometry
Title remainder
8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers
Statement of responsibility
Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)
Title variation
ADG 2010
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
GW5XE
Dewey number
516.00285
Index
index present
LC call number
QA448.D38
LC item number
I58 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2010
http://bibfra.me/vocab/lite/meetingName
International Workshop on Automated Deduction in Geometry
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Schreck, Pascal
  • Narboux, Julien
  • Richter-Gebert, Jürgen
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
6877
http://library.link/vocab/subjectName
  • Geometry
  • Automatic theorem proving
  • Informatique
  • Automatic theorem proving
  • Geometry
  • Mechanical Engineering
  • Mathematics
  • Engineering & Applied Sciences
  • Physical Sciences & Mathematics
  • Computer Science
  • Mechanical Engineering - General
  • Geometry
Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Cancellation patterns in automatic geometric theorem proving / Susanne Apel and Jürgen Richter-Gebert -- Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot -- A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry / Laurent Fuchs and Laurent Théry -- Automatic calculation of plane loci using Gröbner bases and integration into a dynamic geometry system / Michael Gerhäuser and Alfred Wassermann -- Proof documents for automated origami theorem proving / Fadoua Ghourabi, Tetsuo Ida, and Asem Kasem -- The midpoint locus of a triangle in a corner / Daniel Lichtblau -- Some Lemmas to hopefully enable search methods to find short -- and human readable proofs for incidence theorems of projective geometry / Dominique Michelucci -- What is a line? / Dominique Michelucci -- On one method of proving inequalities in automated way / Pavel Pech -- Thousands of geometric problems for geometric theorem provers -- (TGTP) / Pedro Quaresma -- An investigation of Hilbert's implicit reasoning through proof -- discovery in idle-time / Phil Scott and Jacques Fleuriot -- A coherent logic based geometry theorem prover capable of -- producing formal and readable proofs / Sana Stojanović, Vesna Pavlović, and Predrag Janičić -- Automated generation of readable proofs for constructive geometry -- statements with the mass point method / Yu Zou and Jingzhong Zhang
Control code
761692861
Dimensions
unknown
Extent
1 online resource (x, 258 pages)
File format
unknown
Form of item
online
Isbn
9783642250705
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-25070-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)761692861
Label
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Cancellation patterns in automatic geometric theorem proving / Susanne Apel and Jürgen Richter-Gebert -- Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot -- A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry / Laurent Fuchs and Laurent Théry -- Automatic calculation of plane loci using Gröbner bases and integration into a dynamic geometry system / Michael Gerhäuser and Alfred Wassermann -- Proof documents for automated origami theorem proving / Fadoua Ghourabi, Tetsuo Ida, and Asem Kasem -- The midpoint locus of a triangle in a corner / Daniel Lichtblau -- Some Lemmas to hopefully enable search methods to find short -- and human readable proofs for incidence theorems of projective geometry / Dominique Michelucci -- What is a line? / Dominique Michelucci -- On one method of proving inequalities in automated way / Pavel Pech -- Thousands of geometric problems for geometric theorem provers -- (TGTP) / Pedro Quaresma -- An investigation of Hilbert's implicit reasoning through proof -- discovery in idle-time / Phil Scott and Jacques Fleuriot -- A coherent logic based geometry theorem prover capable of -- producing formal and readable proofs / Sana Stojanović, Vesna Pavlović, and Predrag Janičić -- Automated generation of readable proofs for constructive geometry -- statements with the mass point method / Yu Zou and Jingzhong Zhang
Control code
761692861
Dimensions
unknown
Extent
1 online resource (x, 258 pages)
File format
unknown
Form of item
online
Isbn
9783642250705
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-25070-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)761692861

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...