3. MKM 2004:
Bialowieza, Poland
Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds.):
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings.
Lecture Notes in Computer Science 3119 Springer 2004, ISBN 3-540-23029-7 
- Andrew A. Adams, James H. Davenport:
Copyright Issues for MKM.
1-16
- Andrea Asperti, Matteo Selmi:
Efficient Retrieval of Mathematical Statements.
17-31
- Arnon Avron:
Formalizing Set Theory as it Is Actually Used.
32-43
- Grzegorz Bancerek, Josef Urban:
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles.
44-57
- Paul A. Cairns:
Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics.
58-72
- Olga Caprotti, Mike Dewar, Daniele Turi:
Mathematical Service Matching Using Description Logic and OWL.
73-87
- Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk:
C-CoRN, the Constructive Coq Repository at Nijmegen.
88-103
- Dirk Draheim, Winfried Neun, Dima Suliman:
Classifying Differential Equations on the Web.
104-115
- Adam Grabowski, Markus Moschner:
Managing Heterogeneous Theories within a Mathematical Knowledge Repository.
116-129
- Adam Grabowski, Christoph Schwarzweller:
Rough Concept Analysis - Theory Development in the Mizar System.
130-144
- Gueorgui I. Jojgov, Rob Nederpelt:
A Path to Faithful Formalizations of Mathematics.
145-159
- Fairouz Kamareddine, Manuel Maarek, J. B. Wells:
Flexible Encoding of Mathematics on the Computer.
160-174
- Andrea Kohlhase, Michael Kohlhase:
CPoint: Dissolving the Author's Dilemma.
175-189
- Zenon Kulpa:
On Diagrammatic Representation of Mathematical Knowledge.
190-204
- Temur Kutsia, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols.
205-219
- Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable:
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.
220-235
- Alexander V. Lyaletski, Andrey Paskevich, Konstantin Verchinine:
Theorem Proving and Proof Verification in the System SAD.
236-250
- Erica Melis, Andreas Meier, Martin Pollet:
Adaptive Access to a Proof Planner.
251-264
- Miguel Angel Mora, Roberto Moriyón, Francisco Saiz:
Modeling Interactivity for Mathematics Learning by Demonstration.
265-275
- Koji Nakagawa, Akihiro Nomura, Masakazu Suzuki:
Extraction of Logical Structure from Articles in Mathematics.
276-289
- Adam Naumowicz, Czeslaw Bylinski:
Improving Mizar Texts with Properties and Requirements.
290-301
- Luca Padovani, Riccardo Solmi:
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.
302-316
- Martin Pollet, Volker Sorge, Manfred Kerber:
Intuitive and Formal Representations: The Case of Matrices.
317-331
- Claudio Sacerdoti Coen:
Mathematical Libraries as Proof Assistant Environments.
332-346
- Claudio Sacerdoti Coen, Stefano Zacchiroli:
Efficient Ambiguous Parsing of Mathematical Formulae.
347-362
- Elena S. Smirnova, Clare M. So, Stephen M. Watt:
An Architecture for Distributed Mathematical Web Services.
363-377
- Andreas Strotmann:
The Categorial Type of OpenMath Objects.
378-392
Last update Tue May 21 17:44:52 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
