Skip to main content
Springer Nature Link
Log in

Mathematical Knowledge Management

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Andrea Asperti

    1. Department of Computer Science, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grzegorz Bancerek

    1. Faculty of Computer Science, Białystok Technical University, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrzej Trybulec
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: MKM 2004.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (27 papers)

  1. Front Matter

    Download chapter PDF

  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. Formalizing Set Theory as it Is Actually Used

    • Arnon Avron
    Pages 32-43

  5. Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles

    • Grzegorz Bancerek, Josef Urban
    Pages 44-57

  6. Informalising Formal Mathematics: Searching the Mizar Library with Latent Semantics

    • Paul Cairns
    Pages 58-72

  7. Mathematical Service Matching Using Description Logic and OWL

    • Olga Caprotti, Mike Dewar, Daniele Turi
    Pages 73-87

  8. C-CoRN, the Constructive Coq Repository at Nijmegen

    • Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk
    Pages 88-103

  9. Classifying Differential Equations on the Web

    • Dirk Draheim, Winfried Neun, Dima Suliman
    Pages 104-115

  10. Managing Heterogeneous Theories within a Mathematical Knowledge Repository

    • Adam Grabowski, Markus Moschner
    Pages 116-129

  11. Rough Concept Analysis – Theory Development in the Mizar System

    • Adam Grabowski, Christoph Schwarzweller
    Pages 130-144

  12. A Path to Faithful Formalizations of Mathematics

    • Gueorgui Jojgov, Rob Nederpelt
    Pages 145-159

  13. Flexible Encoding of Mathematics on the Computer

    • Fairouz Kamareddine, Manuel Maarek, J. B. Wells
    Pages 160-174

  14. CPoint: Dissolving the Author’s Dilemma

    • Andrea Kohlhase, Michael Kohlhase
    Pages 175-189

  15. On Diagrammatic Representation of Mathematical Knowledge

    • Zenon Kulpa
    Pages 190-204

  16. Predicate Logic with Sequence Variables and Sequence Function Symbols

    • Temur Kutsia, Bruno Buchberger
    Pages 205-219

  17. 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

  18. Theorem Proving and Proof Verification in the System SAD

    • Alexander Lyaletski, Andrey Paskevich, Konstantin Verchinine
    Pages 236-250

  19. Adaptive Access to a Proof Planner

    • Erica Melis, Andreas Meier, Martin Pollet
    Pages 251-264

  20. Modeling Interactivity for Mathematics Learning by Demonstration

    • Miguel A. Mora, Roberto Moriyón, Francisco Saiz
    Pages 265-275
Back to top

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

Publish with us

Policies and ethics

Back to top

Search

Navigation