skip to content
Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings Preview this item
ClosePreview this item
Checking...

Mathematical knowledge management : 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings

Author: Jonathan M Borwein; William Michael Farmer
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 4108.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed proceedings of the 5th International Conference on Mathematical Knowledge Management, MKM 2006, that was held in Wokingham, UK, August 2006. This book presents 22 revised  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
Conference proceedings
Congresses
Congrès
Additional Physical Format: Print version:
MKM 2006 (2006 : Wokingham, England).
Mathematical knowledge management.
Berlin ; New York : Springer, c2006
(DLC) 2006930246
(OCoLC)70841018
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jonathan M Borwein; William Michael Farmer
ISBN: 9783540371069 3540371060 3540371044 9783540371045
OCLC Number: 262693839
Description: 1 online resource (viii, 294 p.) : ill.
Contents: Invited Talks --
The Omega Number: Irreducible Complexity in Pure Math --
Roles of Math Search in Mathematics --
Contributed Papers --
Structured Induction Proofs in Isabelle/Isar --
Interpretation of Locales in Isabelle: Theories and Proof Contexts --
A Dynamic Poincaré Principle --
A Proof-Theoretic Approach to Tactics --
A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus --
Proof Transformation by CERES --
Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge --
Verifying and Invalidating Textbook Proofs Using Scunak --
Capturing Abstract Matrices from Paper --
Towards a Parser for Mathematical Formula Recognition --
Stochastic Modelling of Scientific Terms Distribution in Publications --
Capturing the Content of Physics: Systems, Observables, and Experiments --
Communities of Practice in MKM: An Extensional Model --
From Notation to Semantics: There and Back Again --
Managing Informal Mathematical Knowledge: Techniques from Informal Logic --
From Untyped to Polymorphically Typed Objects in Mathematical Web Services --
Managing Automatically Formed Mathematical Theories --
Authoring LeActiveMath Calculus Content --
Information Retrieval and Rendering with MML Query --
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories.
Series Title: Lecture notes in computer science, 4108.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: MKM 2006
Responsibility: Jonathan M. Borwein, William M. Farmer (eds.).
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/262693839> # Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "262693839" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/kongress> ; # Kongress
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/elektronische_bibliothek> ; # Elektronische Bibliothek
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematics_data_processing> ; # Mathematics--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique> ; # Mathématiques--Informatique
    schema:about <http://id.worldcat.org/fast/1012179> ; # Mathematics--Data processing
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/expertensystem> ; # Expertensystem
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/informatique> ; # Informatique
    schema:about <http://id.worldcat.org/fast/972943> ; # Information storage and retrieval systems--Mathematics
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_retrieval> ; # Information Retrieval
    schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
    schema:about <http://dewey.info/class/511.36028563/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematik> ; # Mathematik
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/theoremes_demonstration_automatique> ; # Théorèmes--Démonstration automatique
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensbasiertes_system> ; # Wissensbasiertes System
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/automatic_theorem_proving> ; # Automatic theorem proving
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/electronic_books> ; # Electronic books
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques> ; # Systèmes d'information--Mathématiques
    schema:about <http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval_systems_mathematics> ; # Information storage and retrieval systems--Mathematics
    schema:alternateName "MKM 2006" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/17287732> ; # Jonathan M. Borwein
    schema:contributor <http://viaf.org/viaf/58192939> ; # William Michael Farmer
    schema:creator <http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> ; # MKM (Conference) (5th : 2006 : Wokingham, England)
    schema:datePublished "2006" ;
    schema:description "Invited Talks -- The Omega Number: Irreducible Complexity in Pure Math -- Roles of Math Search in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales in Isabelle: Theories and Proof Contexts -- A Dynamic Poincaré Principle -- A Proof-Theoretic Approach to Tactics -- A Formal Correspondence Between OMDoc with Alternative Proofs and the -Calculus -- Proof Transformation by CERES -- Synthesizing Proof Planning Methods and ?-Ants Agents from Mathematical Knowledge -- Verifying and Invalidating Textbook Proofs Using Scunak -- Capturing Abstract Matrices from Paper -- Towards a Parser for Mathematical Formula Recognition -- Stochastic Modelling of Scientific Terms Distribution in Publications -- Capturing the Content of Physics: Systems, Observables, and Experiments -- Communities of Practice in MKM: An Extensional Model -- From Notation to Semantics: There and Back Again -- Managing Informal Mathematical Knowledge: Techniques from Informal Logic -- From Untyped to Polymorphically Typed Objects in Mathematical Web Services -- Managing Automatically Formed Mathematical Theories -- Authoring LeActiveMath Calculus Content -- Information Retrieval and Rendering with MML Query -- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/321969833> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/321969833#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
    schema:isSimilarTo <http://www.worldcat.org/oclc/70841018> ;
    schema:name "Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings"@en ;
    schema:numberOfPages "294" ;
    schema:productID "262693839" ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/11812289> ;
    schema:url <http://dx.doi.org/10.1007/11812289> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4108> ;
    schema:url <http://site.ebrary.com/id/10530354> ;
    schema:url <http://lib.myilibrary.com?id=140774> ;
    schema:workExample <http://worldcat.org/isbn/9783540371069> ;
    schema:workExample <http://worldcat.org/isbn/9783540371045> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/262693839> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/321969833#Meeting/mkm_conference_5th_2006_wokingham_england> # MKM (Conference) (5th : 2006 : Wokingham, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/321969833#Place/wokingham_england> ; # Wokingham, England)
    schema:name "MKM (Conference) (5th : 2006 : Wokingham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Place/wokingham_england> # Wokingham, England)
    a schema:Place ;
    schema:name "Wokingham, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693839> ; # Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
    schema:name "Lecture notes in computer science." ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/elektronische_bibliothek> # Elektronische Bibliothek
    a schema:Intangible ;
    schema:name "Elektronische Bibliothek"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_retrieval> # Information Retrieval
    a schema:Intangible ;
    schema:name "Information Retrieval"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/information_storage_and_retrieval_systems_mathematics> # Information storage and retrieval systems--Mathematics
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh85066163> ;
    schema:name "Information storage and retrieval systems--Mathematics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/mathematiques_informatique> # Mathématiques--Informatique
    a schema:Intangible ;
    schema:name "Mathématiques--Informatique"@en ;
    schema:name "Mathématiques--Informatique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/systemes_d_information_mathematiques> # Systèmes d'information--Mathématiques
    a schema:Intangible ;
    schema:name "Systèmes d'information--Mathématiques"@en ;
    schema:name "Systèmes d'information--Mathématiques"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/321969833#Topic/wissensbasiertes_system> # Wissensbasiertes System
    a schema:Intangible ;
    schema:name "Wissensbasiertes System"@en ;
    .

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

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

<http://id.worldcat.org/fast/972943> # Information storage and retrieval systems--Mathematics
    a schema:Intangible ;
    schema:name "Information storage and retrieval systems--Mathematics"@en ;
    .

<http://lib.myilibrary.com?id=140774>
    rdfs:comment "Connect to MyiLibrary resource." ;
    .

<http://viaf.org/viaf/17287732> # Jonathan M. Borwein
    a schema:Person ;
    schema:familyName "Borwein" ;
    schema:givenName "Jonathan M." ;
    schema:name "Jonathan M. Borwein" ;
    .

<http://viaf.org/viaf/58192939> # William Michael Farmer
    a schema:Person ;
    schema:familyName "Farmer" ;
    schema:givenName "William Michael" ;
    schema:name "William Michael Farmer" ;
    .

<http://worldcat.org/isbn/9783540371045>
    a schema:ProductModel ;
    schema:isbn "3540371044" ;
    schema:isbn "9783540371045" ;
    .

<http://worldcat.org/isbn/9783540371069>
    a schema:ProductModel ;
    schema:isbn "3540371060" ;
    schema:isbn "9783540371069" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/262693839> ; # Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/oclc/70841018>
    a schema:CreativeWork ;
    rdfs:label "Mathematical knowledge management." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/262693839> ; # Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/262693839>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/262693839> ; # Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings
    schema:dateModified "2015-06-30" ;
    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.