Mathematical Knowledge Management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings / edited by Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec.

Format:

• Book

Contributor:

• Asperti, Andrea, editor.
• Bancerek, Grzegorz, editor.
• Trybulec, Andrzej, editor.
• SpringerLink (Online service)

Series:

• Computer Science (Springer-11645)
• Lecture notes in computer science 0302-9743 ; 3119.
• Lecture Notes in Computer Science, 0302-9743 ; 3119

Language:

English

Subjects (All):

• Computer software.
• Information storage and retrieval.
• Application software.
• Artificial intelligence.
• Database management.
• Computer networks.
• Mathematical Software.
• Information Storage and Retrieval.
• Information Systems Applications (incl. Internet).
• Artificial Intelligence.
• Database Management.
• Computer Communication Networks.

Local Subjects:

• Mathematical Software.
• Information Storage and Retrieval.
• Information Systems Applications (incl. Internet).
• Artificial Intelligence.
• Database Management.
• Computer Communication Networks.

Physical Description:

1 online resource (X, 398 pages).

Edition:

First edition 2004.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.

System Details:

text file PDF

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.

Other Format:

Printed edition:

ISBN:

• 978-3-540-27818-4
• 9783540278184

Access Restriction:

Restricted for use by site license.