E-Books durchsuchen

Mathematical Knowledge Management [2004]

1
Copyright Issues for MKM
17
Efficient Retrieval of Mathematical Statements
32
Formalizing Set Theory as it Is Actually Used
44
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
58
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics
73
Mathematical Service Matching Using Description Logic and OWL
88
C-CoRN, the Constructive Coq Repository at Nijmegen
104
Classifying Differential Equations on the Web
116
Managing Heterogeneous Theories within a Mathematical Knowledge Repository
130
Rough Concept Analysis – Theory Development in the Mizar System
145
A Path to Faithful Formalizations of Mathematics
160
Flexible Encoding of Mathematics on the Computer
175
<Emphasis Type="SmallCaps">CPoint</Emphasis>: Dissolving the Author’s Dilemma
190
On Diagrammatic Representation of Mathematical Knowledge
205
Predicate Logic with Sequence Variables and Sequence Function Symbols
220
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
236
Theorem Proving and Proof Verification in the System SAD
251
Adaptive Access to a Proof Planner
265
Modeling Interactivity for Mathematics Learning by Demonstration
276
Extraction of Logical Structure from Articles in Mathematics
290
Improving <Emphasis Type="SmallCaps">Mizar</Emphasis> Texts with <Emphasis Type="Italic">Properties</Emphasis> and <Emphasis Type="Italic">Requirements</Emphasis>
302
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
317
Intuitive and Formal Representations: The Case of Matrices
332
Mathematical Libraries as Proof Assistant Environments
347
Efficient Ambiguous Parsing of Mathematical Formulae
363
An Architecture for Distributed Mathematical Web Services
378
The Categorial Type of OpenMath Objects
Feedback