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 Poincare 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


<http://www.worldcat.org/oclc/262693839>
library:oclcnum"262693839"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/262693839>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
<http://id.worldcat.org/fast/1012179>
rdf:typeschema:Intangible
schema:name"Mathematics--Data processing"
schema:name"Mathematics--Data processing."
schema:about
schema:about
schema:about
<http://id.worldcat.org/fast/972943>
rdf:typeschema:Intangible
schema:name"Information storage and retrieval systems--Mathematics"
schema:name"Information storage and retrieval systems--Mathematics."
schema:about
rdf:typeschema:Intangible
schema:name"Mathématiques--Informatique"
schema:about
<http://id.worldcat.org/fast/822777>
rdf:typeschema:Intangible
schema:name"Automatic theorem proving"
schema:name"Automatic theorem proving."
schema:about
rdf:typeschema:Intangible
schema:name"Wissensbasiertes System."
schema:about
rdf:typeschema:Intangible
schema:name"Information Retrieval."
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Théorèmes--Démonstration automatique"
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Elektronische Bibliothek."
schema:about
rdf:typeschema:Intangible
schema:name"Systèmes d'information--Mathématiques"
schema:about
schema:about
schema:author
rdf:typeschema:Organization
schema:name"MKM 2006 (2006 : Wokingham, England)"
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:copyrightYear"2006"
schema:datePublished"2006"
schema:exampleOfWork<http://worldcat.org/entity/work/id/321969833>
schema:genre"Conference proceedings."
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"Mathematical knowledge management 5th international conference, MKM 2006, Wokingham, UK, August 11-12, 2006 : proceedings"
schema:numberOfPages"294"
schema:publisher
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:workExample
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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