skip to content
Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers Preview this item
ClosePreview this item
Checking...

Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers

Author: Tetsuo Ida; Jacques Fleuriot
Publisher: Heidelberg : Springer, 2013.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 7993.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Ebook
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tetsuo Ida; Jacques Fleuriot
ISBN: 9783642406720 3642406726
OCLC Number: 858530216
Notes: Includes author index.
Description: 1 online resource (x, 193 pages) : illustrations.
Contents: Proof and Computation in Geometry / Michael Beeson --
Automation of Geometry --
Theorem Proving, Diagram Generation, and Knowledge Management / Dongming Wang --
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization / Jing Yang, Dongming Wang and Hoon Hong --
Extending the Descartes Circle Theorem for Steiner n-Cycles / Shuichi Moritsugu --
Equation Systems with Free-Coordinates Determinants / Pascal Mathis and Pascal Schreck --
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls / Christophe Brun, Jean-François Dufourd and Nicolas Magaud --
From Tarski to Hilbert / Gabriel Braun and Julien Narboux --
Realizations of Volume Frameworks / Ciprian S. Borcea and Ileana Streinu --
Rigidity of Origami Universal Molecules / John C. Bowers and Ileana Streinu --
Algebraic Analysis of Huzita's Origami Operations and Their Extensions / Fadoua Ghourabi, Asem Kasem and Cezary Kaliszyk --
On the Formal Analysis of Geometrical Optics in HOL / Umair Siddique, Vincent Aravantinos and Sofiène Tahar --
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs / Sana Stojanović.
Series Title: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 7993.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: ADG 2012
Responsibility: Tetsuo Ida, Jacques Fleuriot (eds.).

Abstract:

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012.  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/858530216> # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
   library:oclcnum "858530216" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/516.00285/e22/> ;
   schema:about <http://id.worldcat.org/fast/940870> ; # Geometry--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/1411225617#Topic/geometry_data_processing> ; # Geometry--Data processing
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/1411225617#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:alternateName "ADG 2012" ;
   schema:bookFormat schema:EBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/1411225617#Meeting/international_workshop_on_automated_deduction_in_geometry_9th_2012_edinburgh_scotland> ; # International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland)
   schema:datePublished "2013" ;
   schema:description "This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 10 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry."@en ;
   schema:editor <http://viaf.org/viaf/75567137> ; # Tetsuo Ida
   schema:editor <http://viaf.org/viaf/55037381> ; # Jacques Fleuriot
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1411225617> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Electronic books"@en ;
   schema:genre "Ebook"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411225617#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411225617#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411225617#Series/lecture_notes_in_artificial_intelligence> ; # Lecture notes in artificial intelligence ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1411225617#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
   schema:isSimilarTo <http://worldcat.org/entity/work/data/1411225617#CreativeWork/> ;
   schema:name "Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers"@en ;
   schema:productID "858530216" ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3093549> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-40672-0> ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-40672-0> ;
   schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/978-3-642-40672-0> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-40672-0> ;
   schema:workExample <http://worldcat.org/isbn/9783642406720> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/858530216> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1411225617#Meeting/international_workshop_on_automated_deduction_in_geometry_9th_2012_edinburgh_scotland> # International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1411225617#Place/edinburgh_scotland> ; # Edinburgh, Scotland)
   schema:name "International Workshop on Automated Deduction in Geometry (9th : 2012 : Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411225617#Place/edinburgh_scotland> # Edinburgh, Scotland)
    a schema:Place ;
   schema:name "Edinburgh, Scotland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411225617#Series/lecture_notes_in_artificial_intelligence> # Lecture notes in artificial intelligence ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
   schema:name "Lecture notes in artificial intelligence ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1411225617#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
   schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1411225617#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1411225617#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
   schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/822777> # Automatic theorem proving
    a schema:Intangible ;
   schema:name "Automatic theorem proving"@en ;
    .

<http://id.worldcat.org/fast/940870> # Geometry--Data processing
    a schema:Intangible ;
   schema:name "Geometry--Data processing"@en ;
    .

<http://viaf.org/viaf/55037381> # Jacques Fleuriot
    a schema:Person ;
   schema:birthDate "1972" ;
   schema:familyName "Fleuriot" ;
   schema:givenName "Jacques" ;
   schema:name "Jacques Fleuriot" ;
    .

<http://viaf.org/viaf/75567137> # Tetsuo Ida
    a schema:Person ;
   schema:familyName "Ida" ;
   schema:givenName "Tetsuo" ;
   schema:name "Tetsuo Ida" ;
    .

<http://worldcat.org/entity/work/data/1411225617#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
    .

<http://worldcat.org/isbn/9783642406720>
    a schema:ProductModel ;
   schema:isbn "3642406726" ;
   schema:isbn "9783642406720" ;
    .

<http://www.worldcat.org/title/-/oclc/858530216>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/858530216> ; # Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised selected papers
   schema:dateModified "2018-03-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.