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