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

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Print version:
MKM 2006 (2006 : Wokingham, England).
Mathematical knowledge management.
Berlin ; New York : Springer, ©2006
(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 pages) : illustrations.
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/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 papers and 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: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://www.myilibrary.com?id=140774> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-37104-5> ;
   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://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 "2017-03-31" ;
   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.