A Review of Mathematical Knowledge Management

DOI10.1007/978-3-642-02614-0_21zbMath1247.68266DBLPconf/mkm/CaretteF09OpenAlexW2345851102WikidataQ60712737 ScholiaQ60712737MaRDI QIDQ3637281

William M. Farmer, Jacques Carette

Publication date: 9 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02614-0_21

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (3)

An evaluation of NLP methods to extract mathematical token descriptors ⋮ Foreword to the special focus on mathematics, data and knowledge ⋮ Mathematical knowledge representation: semantic models and formalisms

Uses Software

• Automath
• Proof General Kit

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19--21, 2004. Proceedings.
• Intelligent computer mathematics. 9th international conference, AISC 2008, 15th symposium, Calculemus 2008, 7th international conference, MKM 2008, Birmingham, UK, July 28--August 1, 2008. Proceedings
• Mathematical knowledge management. Second international conference, MKM 2003, Bertinoro, Italy, February 16--18, 2003. Proceedings
• Knowledge representation and management in ACTIVEMATH
• On dynamically presenting a topology course
• Mathematical knowledge management. 5th international conference, MKM 2006, Wokingham, UK, August 11--12, 2006. Proceedings.
• Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings
• Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers.
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Mathematical Knowledge Management
• A Framework for Interactive Proof
• Formal Representation of Mathematics in a Dependently Typed Set Theory
• Methods of Relevance Ranking and Hit-content Generation in Math Search
• Automating Signature Evolution in Logical Theories
• Specifying Strategies for Exercises
• Cross-Curriculum Search for Intergeo
• On Correctness of Mathematical Texts from a Logical and Practical Point of View
• MKM
• Roles of Math Search in Mathematics
• Practical forms of type theory
• Mathematical Knowledge Management
• Mathematical Knowledge Management

This page was built for publication: A Review of Mathematical Knowledge Management