Advertisement

Representing, Archiving, and Searching the Space of Mathematical Knowledge

  • Mihnea Iancu
  • Michael Kohlhase
  • Corneliu Prodescu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8592)

Abstract

There is an interesting duality between the forms and extents of mathematical knowledge that is verbally expressed (published in articles, scribbled on blackboards, or presented in talks/discussions) and the forms that are needed to successfully extend and apply mathematics. To “do mathematics”, we need to judge the veracity, extract the relevant structures, and reconcile them with the context of our existing knowledge - recognizing parts as already known and identifying those that are new to us. In this process we may abstract from syntactic differences, and even employ interpretations via non-trivial mappings as long as they are meaning-preserving.

Keywords

Mathematical Knowledge Source Document Target Theory Semantic Service Source Theory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Iancu, M., Jucovschi, C., Kohlhase, M., Wiesing, T.: System description: MathHub.info. In: Watt, S., Davenport, J., Sexton, A., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 431–434. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  2. 2.
    Iancu, M., Kohlhase, M., Rabe, F., Urban, J.: The Mizar mathematical library in OMDoc: Translation and applications. Journal of Automated Reasoning 50(2), 191–202 (2013)CrossRefzbMATHMathSciNetGoogle Scholar
  3. 3.
    MathWebSearch searching mathematics on the webGoogle Scholar
  4. 4.
    Rabe, F.: MMT – a module system for mathematical theoriesGoogle Scholar
  5. 5.
    Rabe, F., Kohlhase, M.: Information & Computation (230), 1–54 (2013)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Mihnea Iancu
    • 1
  • Michael Kohlhase
    • 1
  • Corneliu Prodescu
    • 1
  1. 1.Jacobs University BremenGermany

Personalised recommendations