Mathematical Knowledge Management

Third International Conference, MKM 2004, Białowieża, Poland, September 19-21, 2004. Proceedings

  • Andrea Asperti
  • Grzegorz Bancerek
  • Andrzej Trybulec
Conference proceedings MKM 2004

DOI: 10.1007/b100478

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3119)

Table of contents (27 papers)

  1. Front Matter
  2. Copyright Issues for MKM
    Andrew A. Adams, James H. Davenport
    Pages 1-16
  3. Efficient Retrieval of Mathematical Statements
    Andrea Asperti, Matteo Selmi
    Pages 17-31
  4. Mathematical Service Matching Using Description Logic and OWL
    Olga Caprotti, Mike Dewar, Daniele Turi
    Pages 73-87
  5. C-CoRN, the Constructive Coq Repository at Nijmegen
    Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
    Pages 88-103
  6. Classifying Differential Equations on the Web
    Dirk Draheim, Winfried Neun, Dima Suliman
    Pages 104-115
  7. Rough Concept Analysis – Theory Development in the Mizar System
    Adam Grabowski, Christoph Schwarzweller
    Pages 130-144
  8. A Path to Faithful Formalizations of Mathematics
    Gueorgui Jojgov, Rob Nederpelt
    Pages 145-159
  9. Flexible Encoding of Mathematics on the Computer
    Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    Pages 160-174
  10. CPoint: Dissolving the Author’s Dilemma
    Andrea Kohlhase, Michael Kohlhase
    Pages 175-189
  11. Predicate Logic with Sequence Variables and Sequence Function Symbols
    Temur Kutsia, Bruno Buchberger
    Pages 205-219
  12. A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics
    Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert Constable
    Pages 220-235
  13. Theorem Proving and Proof Verification in the System SAD
    Alexander Lyaletski, Andrey Paskevich, Konstantin Verchinine
    Pages 236-250
  14. Adaptive Access to a Proof Planner
    Erica Melis, Andreas Meier, Martin Pollet
    Pages 251-264
  15. Modeling Interactivity for Mathematics Learning by Demonstration
    Miguel A. Mora, Roberto Moriyón, Francisco Saiz
    Pages 265-275

About these proceedings


LaTeX Variable calculus equation expert systems formal logic mathematical knowledge representation mathematical libraries mathematics mathematics retrieval proof semantic web theorem theorem proving verification

Editors and affiliations

  • Andrea Asperti
    • 1
  • Grzegorz Bancerek
    • 2
  • Andrzej Trybulec
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly
  2. 2.Faculty of Computer ScienceBiałystok Technical UniversityPoland

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-23029-8
  • Online ISBN 978-3-540-27818-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349