Skip to main content
  • Conference proceedings
  • © 2004

Mathematical Knowledge Management

Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings

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

Conference series link(s): MKM: International Conference on Mathematical Knowledge Management

Conference proceedings info: MKM 2004.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

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

Editors and Affiliations

  • Department of Computer Science, University of Bologna, Bologna, Italy

    Andrea Asperti

  • Faculty of Computer Science, Białystok Technical University, Poland

    Grzegorz Bancerek

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access