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