skip to content
Mathematical reasoning with diagrams : from intuition to automation Preview this item
ClosePreview this item
Checking...

Mathematical reasoning with diagrams : from intuition to automation

Author: Mateja Jamnik
Publisher: Stanford, Calif. : CSLI, ©2001.
Series: CSLI lecture notes, no. 127.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a  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: Charts, diagrams, etc
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Mateja Jamnik
ISBN: 1575863235 9781575863238 1575863243 9781575863245
OCLC Number: 48221379
Description: xii, 204 pages : illustrations ; 24 cm.
Series Title: CSLI lecture notes, no. 127.
Responsibility: Mateja Jamnik.
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/48221379> # Mathematical reasoning with diagrams : from intuition to automation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "48221379" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/323373015#Place/stanford_calif> ; # Stanford, Calif.
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/automatisches_beweisverfahren> ; # Automatisches Beweisverfahren
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/wiskunde> ; # Wiskunde
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/diagrammatisches_schliessen> ; # Diagrammatisches Schließen
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/sprachlogik> ; # Sprachlogik
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/automatische_bewijsvoering> ; # Automatische bewijsvoering
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/323373015#Topic/mathematics> ; # Mathematics
   schema:about <http://dewey.info/class/511.3/e21/> ;
   schema:about <http://id.worldcat.org/fast/1012163> ; # Mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2001" ;
   schema:creator <http://viaf.org/viaf/117969819> ; # Mateja Jamnik
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/323373015> ;
   schema:genre "Charts, diagrams, etc."@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/323373015#Series/csli_lecture_notes> ; # CSLI lecture notes ;
   schema:name "Mathematical reasoning with diagrams : from intuition to automation"@en ;
   schema:productID "48221379" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/48221379#PublicationEvent/stanford_calif_csli_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/323373015#Agent/csli> ; # CSLI
   schema:workExample <http://worldcat.org/isbn/9781575863238> ;
   schema:workExample <http://worldcat.org/isbn/9781575863245> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA212995> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/48221379> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/323373015#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
   schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/323373015#Series/csli_lecture_notes> # CSLI lecture notes ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/48221379> ; # Mathematical reasoning with diagrams : from intuition to automation
   schema:name "CSLI lecture notes ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/323373015#Topic/automatisches_beweisverfahren> # Automatisches Beweisverfahren
    a schema:Intangible ;
   schema:name "Automatisches Beweisverfahren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/323373015#Topic/diagrammatisches_schliessen> # Diagrammatisches Schließen
    a schema:Intangible ;
   schema:name "Diagrammatisches Schließen"@en ;
    .

<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/1012163> # Mathematics
    a schema:Intangible ;
   schema:name "Mathematics"@en ;
    .

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

<http://viaf.org/viaf/117969819> # Mateja Jamnik
    a schema:Person ;
   schema:birthDate "1973" ;
   schema:familyName "Jamnik" ;
   schema:givenName "Mateja" ;
   schema:name "Mateja Jamnik" ;
    .

<http://worldcat.org/isbn/9781575863238>
    a schema:ProductModel ;
   schema:isbn "1575863235" ;
   schema:isbn "9781575863238" ;
    .

<http://worldcat.org/isbn/9781575863245>
    a schema:ProductModel ;
   schema:isbn "1575863243" ;
   schema:isbn "9781575863245" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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