3. MKM 2004: Bialowieza, Poland

@proceedings{DBLP:conf/mkm/2004,
  editor    = {Andrea Asperti and
               Grzegorz Bancerek and
               Andrzej Trybulec},
  title     = {Mathematical Knowledge Management, Third International Conference,
               MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
  booktitle = {MKM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3119},
  year      = {2004},
  isbn      = {3-540-23029-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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