The Resource Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
Resource Information
The item Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 This book constitutes the thoroughly refereed postworkshop 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
 Language
 eng
 Extent
 1 online resource (x, 258 pages).
 Contents

 Cancellation patterns in automatic geometric theorem proving / Susanne Apel and Jürgen RichterGebert
 Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot
 A formalization of GrassmannCayley 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 idletime / 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
 Isbn
 9783642250705
 Label
 Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers
 Title
 Automated deduction in geometry
 Title remainder
 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers
 Statement of responsibility
 Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
 Title variation
 ADG 2010
 Subject

 Artificial intelligence
 Automatic theorem proving
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Computational complexity
 Computer Science
 Computer graphics
 Computer science
 Conference papers and proceedings
 Conference papers and proceedings
 Discrete Mathematics in Computer Science
 Engineering & Applied Sciences
 Geometry
 Geometry  Data processing
 Geometry  Data processing
 Geometry  Data processing  Congresses
 Informatique
 Mathematical Logic and Formal Languages
 Mathematics
 Mechanical Engineering
 Mechanical Engineering  General
 Physical Sciences & Mathematics
 Software engineering
 Symbolic and Algebraic Manipulation
 Artificial Intelligence (incl. Robotics)
 Language
 eng
 Summary
 This book constitutes the thoroughly refereed postworkshop 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
 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
 RichterGebert, 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 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
 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 RichterGebert  Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot  A formalization of GrassmannCayley 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 idletime / 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/9783642250705
 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 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
 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 RichterGebert  Exploring the foundations of discrete analytical geometry in Isabelle/HOL / Jacques Fleuriot  A formalization of GrassmannCayley 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 idletime / 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/9783642250705
 Quality assurance targets
 not applicable
 Reformatting quality
 unknown
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)761692861
Subject
 Artificial intelligence
 Automatic theorem proving
 Automatic theorem proving
 Automatic theorem proving  Congresses
 Computational complexity
 Computer Science
 Computer graphics
 Computer science
 Conference papers and proceedings
 Conference papers and proceedings
 Discrete Mathematics in Computer Science
 Engineering & Applied Sciences
 Geometry
 Geometry  Data processing
 Geometry  Data processing
 Geometry  Data processing  Congresses
 Informatique
 Mathematical Logic and Formal Languages
 Mathematics
 Mechanical Engineering
 Mechanical Engineering  General
 Physical Sciences & Mathematics
 Software engineering
 Symbolic and Algebraic Manipulation
 Artificial Intelligence (incl. Robotics)
Genre
Member of
 Lecture notes in computer science
 LNCS sublibrary, SL 7, Artificial intelligence
 Lecture notes in computer science, Lecture notes in artificial intelligence, 6877
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automateddeductioningeometry8th/QbHHNbj5sb4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automateddeductioningeometry8th/QbHHNbj5sb4/">Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Automateddeductioningeometry8th/QbHHNbj5sb4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Automateddeductioningeometry8th/QbHHNbj5sb4/">Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 2224, 2010, revised selected papers, Pascal Schreck, Julien Narboux, Jürgen RichterGebert (eds.)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>