skip to content
Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings Preview this item
ClosePreview this item
Checking...

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings

Author: Andrea Asperti; Grzegorz Bancerek; Andrzej Trybulec
Publisher: Berlin ; New York : Springer, 2004.
Series: Lecture notes in computer science, 3119.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web,  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
International Conference on Mathematical Knowledge Management (3rd : 2004 : Białowieża, Poland).
Mathematical knowledge management.
Berlin ; New York : Springer, 2004
(DLC) 2004111460
(OCoLC)56533548
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrea Asperti; Grzegorz Bancerek; Andrzej Trybulec
ISBN: 3540278184 9783540278184
OCLC Number: 60762476
Description: 1 online resource (x, 392 pages) : illustrations.
Contents: Copyright Issues for MKM --
Efficient Retrieval of Mathematical Statements --
Formalizing Set Theory as it Is Actually Used --
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles --
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics --
Mathematical Service Matching Using Description Logic and OWL --
C-CoRN, the Constructive Coq Repository at Nijmegen --
Classifying Differential Equations on the Web --
Managing Heterogeneous Theories within a Mathematical Knowledge Repository --
Rough Concept Analysis --
Theory Development in the Mizar System --
A Path to Faithful Formalizations of Mathematics --
Flexible Encoding of Mathematics on the Computer --
CPoint: Dissolving the Author's Dilemma --
On Diagrammatic Representation of Mathematical Knowledge --
Predicate Logic with Sequence Variables and Sequence Function Symbols --
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics --
Theorem Proving and Proof Verification in the System SAD --
Adaptive Access to a Proof Planner --
Modeling Interactivity for Mathematics Learning by Demonstration --
Extraction of Logical Structure from Articles in Mathematics --
Improving Mizar Texts with Properties and Requirements --
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics --
Intuitive and Formal Representations: The Case of Matrices --
Mathematical Libraries as Proof Assistant Environments --
Efficient Ambiguous Parsing of Mathematical Formulae --
An Architecture for Distributed Mathematical Web Services --
The Categorial Type of OpenMath Objects.
Series Title: Lecture notes in computer science, 3119.
Other Titles: MKM 2004
Responsibility: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.).

Abstract:

This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project.

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/60762476> # Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "60762476" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4921317240#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/822777> ; # Automatic theorem proving
   schema:about <http://experiment.worldcat.org/entity/work/data/4921317240#Topic/mathematics_data_processing> ; # Mathematics--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/4921317240#Topic/automatic_theorem_proving> ; # Automatic theorem proving
   schema:about <http://id.worldcat.org/fast/972943> ; # Information storage and retrieval systems--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/4921317240#Topic/information_storage_and_retrieval_systems_mathematics> ; # Information storage and retrieval systems--Mathematics
   schema:about <http://id.worldcat.org/fast/1012179> ; # Mathematics--Data processing
   schema:about <http://experiment.worldcat.org/entity/work/data/4921317240#Topic/mathematics_discrete_mathematics> ; # MATHEMATICS--Discrete Mathematics
   schema:about <http://dewey.info/class/510.285/e22/> ;
   schema:alternateName "MKM 2004" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/278154413> ; # Grzegorz Bancerek
   schema:contributor <http://viaf.org/viaf/21658345> ; # Andrzej Trybulec
   schema:contributor <http://viaf.org/viaf/42773541> ; # Andrea Asperti
   schema:creator <http://experiment.worldcat.org/entity/work/data/4921317240#Meeting/mkm_2004_2004_bialowieza_poland> ; # MKM 2004 (2004 : Białowieża, Poland)
   schema:datePublished "2004" ;
   schema:description "This book constitutes the refereed proceedings of the Third International Conference on Mathematical Knowledge Management, MKM 2004, held in Bialowieza, Poland, in September 2004. The 27 revised full papers presented were carefully reviewed and selected from 48 submissions. Among the topics addressed are mathematics retrieval, formalizing mathematics, formal mathematics, digital mathematical libraries, semantic Web, knowledge repositories, mathematical knowledge representation, theorem proving systems, OWL, proof verification, formal representation, mathematical formulae processing, and the OpenMath project."@en ;
   schema:description "Copyright Issues for MKM -- Efficient Retrieval of Mathematical Statements -- Formalizing Set Theory as it Is Actually Used -- Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles -- Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics -- Mathematical Service Matching Using Description Logic and OWL -- C-CoRN, the Constructive Coq Repository at Nijmegen -- Classifying Differential Equations on the Web -- Managing Heterogeneous Theories within a Mathematical Knowledge Repository -- Rough Concept Analysis -- Theory Development in the Mizar System -- A Path to Faithful Formalizations of Mathematics -- Flexible Encoding of Mathematics on the Computer -- CPoint: Dissolving the Author's Dilemma -- On Diagrammatic Representation of Mathematical Knowledge -- Predicate Logic with Sequence Variables and Sequence Function Symbols -- A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics -- Theorem Proving and Proof Verification in the System SAD -- Adaptive Access to a Proof Planner -- Modeling Interactivity for Mathematics Learning by Demonstration -- Extraction of Logical Structure from Articles in Mathematics -- Improving Mizar Texts with Properties and Requirements -- An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics -- Intuitive and Formal Representations: The Case of Matrices -- Mathematical Libraries as Proof Assistant Environments -- Efficient Ambiguous Parsing of Mathematical Formulae -- An Architecture for Distributed Mathematical Web Services -- The Categorial Type of OpenMath Objects."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4921317240> ;
   schema:genre "Electronic books"@en ;
   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:isSimilarTo <http://www.worldcat.org/oclc/56533548> ;
   schema:name "Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings"@en ;
   schema:productID "60762476" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/60762476#PublicationEvent/berlin_new_york_springer_2004> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4921317240#Agent/springer> ; # Springer
   schema:url <http://springerlink.metapress.com/link.asp?id=fjfajng9vyu7> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=133885> ;
   schema:url <http://link.springer.com/10.1007/b100478> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/11320111> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3119> ;
   schema:url <http://proxy.library.carleton.ca/login?url=http://dx.doi.org/10.1007/b100478> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-23029-8> ;
   schema:url <http://gate.lib.buffalo.edu/login?url=https://link.springer.com/book/10.1007/b100478> ;
   schema:url <http://dx.doi.org/10.1007/b100478> ;
   schema:workExample <http://worldcat.org/isbn/9783540278184> ;
   umbel:isLike <http://d-nb.info/972014284> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/60762476> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/4921317240#Place/bialowieza_poland> # Białowieża, Poland)
    a schema:Place ;
   schema:name "Białowieża, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4921317240#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/4921317240#Topic/mathematics_discrete_mathematics> # MATHEMATICS--Discrete Mathematics
    a schema:Intangible ;
   schema:name "MATHEMATICS--Discrete Mathematics"@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/21658345> # Andrzej Trybulec
    a schema:Person ;
   schema:familyName "Trybulec" ;
   schema:givenName "Andrzej" ;
   schema:name "Andrzej Trybulec" ;
    .

<http://viaf.org/viaf/278154413> # Grzegorz Bancerek
    a schema:Person ;
   schema:familyName "Bancerek" ;
   schema:givenName "Grzegorz" ;
   schema:name "Grzegorz Bancerek" ;
    .

<http://viaf.org/viaf/42773541> # Andrea Asperti
    a schema:Person ;
   schema:familyName "Asperti" ;
   schema:givenName "Andrea" ;
   schema:name "Andrea Asperti" ;
    .

<http://worldcat.org/isbn/9783540278184>
    a schema:ProductModel ;
   schema:isbn "3540278184" ;
   schema:isbn "9783540278184" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/60762476> ; # Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/56533548>
    a schema:CreativeWork ;
   rdfs:label "Mathematical knowledge management." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/60762476> ; # Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/60762476>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/60762476> ; # Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
   schema:dateModified "2018-11-10" ;
   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.