General Information
Mathematical Knowledge Management is an innovative field at
the intersection of mathematics, computer science, library
science, and scientific publishing. Its development is
driven, on the one hand, by new technological possibilities
which computer science, the Internet, and intelligent
knowledge processing offer, and, on the other hand, by the
increasing demand by engineers and scientists for new
techniques to help in producing, transmitting, consuming,
and managing sophisticated mathematical knowledge.
The conference is concerned with all aspects of mathematical
knowledge management. Topics covered include, but are not
limited to:.
 Representations of mathematical knowledge
 Repositories of formalized mathematics
 Mathematical digital libraries
 Diagrammatic representations
 Multimodal representations
 Mathematical OCR
 Mathematical search and retrieval
 Deduction systems
 Math assistants, tutoring and assessment systems
 Authoring languages and tools
 MathML, OpenMath, and other mathematical content standards
 Web presentation of mathematics
 Data mining, discovery, theory exploration
 Computer algebra systems
 Collaboration tools for mathematics
 Challenges and solutions for mathematical workflows
MKM 2010 welcomes research papers and workshop proposals
with links to the above topics. The conference proceedings
will be published in the SpringerVerlag series Lecture
Notes in Artificial Intelligence (LNAI). In addition to the
formal proceedings published by Springer, we will provide
links to online versions of the published papers from the
conference website.
More information about the MKM conference series can be
found at MKM Interest Group Webpage.
