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
Database:WorldCat
Summary:

Constitutes the refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in France, in 1996. This book covers automated geometric  Read more...

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.).
More information:

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 "2016-09-12" ;
    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.