Mathematical knowledge management : Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3119 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Mathematical knowledge management, Third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004, proceedings, Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.), 2004, Berlin, Springer, 1 vol. (X-392 p.), Lecture notes in computer science, 3-540-23029-7 • Mathematical Knowledge Management, Texte imprimé, 9783662214084 |
Indholdsfortegnelse:
- 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.