skip to content
Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers Preview this item
ClosePreview this item
Checking...

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers

Author: Dongming Wang
Publisher: Berlin ; London : Springer, ©1997.
Series: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 1360.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996.

Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Dongming Wang
ISBN: 3540642978 9783540642978
OCLC Number: 39002025
Description: 234 pages : illustrations ; 24 cm.
Contents: Automated geometric reasoning : Dixon resultants, Gröbner bases, and characteristic sets / Deepak Kapur --
Extended Dixon's resultant and its applications / Quoc-Nam Tran --
Computational geometry problems in REDLOG / Thomas Sturm and Volker Weispfenning --
Probabilistic verification of elementary geometry statements / Giuseppa Carrá Ferro, Giovanni Gallo and Rosario Gennaro --
Computational synthetic geometry with Clifford algebra / Timothy F. Havel --
Clifford algebraic calculus for geometric reasoning with application to computer vision / Dongming Wang --
Area in Grassmann geometry / Desmond Fearnley-Sander and Tim Stokes --
Automated production of readable proofs for theorems in non-Euclidean geometries / Lu Yang [and others] --
Points on algebraic curves and the parametrization problem / Erik Hillgarter and Franz Winkler --
Flat central configurations of four planet motions / He Shi and Fengmei Zou --
Integration of reasoning and algebraic calculus in geometry / Stéphane Fèvre.
Series Title: Lecture notes in computer science., Lecture notes in artificial intelligence ;, 1360.
Responsibility: Dongming Wang (ed.).

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/39002025> # Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "39002025" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3768414680#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/meetkunde> ; # Meetkunde
   schema:about <http://dewey.info/class/516.00285/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/geometry_data_processing> ; # Geometry--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/geometrie_informatique> ; # Géométrie--Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
   schema:about <http://id.worldcat.org/fast/940870> ; # Geometry--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/3768414680#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/66551896> ; # Dongming Wang
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3768414680#Meeting/international_workshop_on_automated_deduction_in_geometry_1996_toulouse_france> ; # International Workshop on Automated Deduction in Geometry (1996 : Toulouse, France)
   schema:copyrightYear "1997" ;
   schema:datePublished "1997" ;
   schema:description "Automated geometric reasoning : Dixon resultants, Gröbner bases, and characteristic sets / Deepak Kapur -- Extended Dixon's resultant and its applications / Quoc-Nam Tran -- Computational geometry problems in REDLOG / Thomas Sturm and Volker Weispfenning -- Probabilistic verification of elementary geometry statements / Giuseppa Carrá Ferro, Giovanni Gallo and Rosario Gennaro -- Computational synthetic geometry with Clifford algebra / Timothy F. Havel -- Clifford algebraic calculus for geometric reasoning with application to computer vision / Dongming Wang -- Area in Grassmann geometry / Desmond Fearnley-Sander and Tim Stokes -- Automated production of readable proofs for theorems in non-Euclidean geometries / Lu Yang [and others] -- Points on algebraic curves and the parametrization problem / Erik Hillgarter and Franz Winkler -- Flat central configurations of four planet motions / He Shi and Fengmei Zou -- Integration of reasoning and algebraic calculus in geometry / Stéphane Fèvre."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3768414680> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science.
   schema:name "Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers"@en ;
   schema:productID "39002025" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/39002025#PublicationEvent/berlin_london_springer_1997> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3768414680#Agent/springer> ; # Springer
   schema:workExample <http://worldcat.org/isbn/9783540642978> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9829609> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/39002025> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Meeting/international_workshop_on_automated_deduction_in_geometry_1996_toulouse_france> # International Workshop on Automated Deduction in Geometry (1996 : Toulouse, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/3768414680#Place/toulouse_france> ; # Toulouse, France)
   schema:name "International Workshop on Automated Deduction in Geometry (1996 : Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Place/toulouse_france> # Toulouse, France)
    a schema:Place ;
   schema:name "Toulouse, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Topic/automatische_bewijsvoering> # Automatische bewijsvoering
    a schema:Intangible ;
   schema:name "Automatische bewijsvoering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Topic/geometrie_informatique> # Géométrie--Informatique
    a schema:Intangible ;
   schema:name "Géométrie--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
   schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/3768414680#Topic/theoremes_demonstration_automatique> # Théorèmes--Démonstration automatique
    a schema:Intangible ;
   schema:name "Théorèmes--Démonstration automatique"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical"@en ;
    .

<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/66551896> # Dongming Wang
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Wang" ;
   schema:givenName "Dongming" ;
   schema:name "Dongming Wang" ;
    .

<http://worldcat.org/isbn/9783540642978>
    a schema:ProductModel ;
   schema:isbn "3540642978" ;
   schema:isbn "9783540642978" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/39002025> ; # Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/39002025>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/39002025> ; # Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
   schema:dateModified "2017-10-23" ;
   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.