IFIP WG 2.5 Project 78

Mathematical Knowledge Management

Modern computing and communication facilities have transformed the way in which
knowledge is produced, managed, exchanged, and consumed. Nevertheless, some of
these processes remain challenging when the information is highly mathematical
in nature. New opportunities and demands in science and engineering are resulting 
in pressures to improve our ability to represent complex mathematical information 
on computers, to efficiently find it, to preserve its semantics during interchange, 
and to exploit it to efficiently generate yet new knowledge. A growing research 
community is emerging around these issues. The topics considered include

  * Computer representations of mathematical data
  * Presentation of math on the Web
  * MathML, OpenMath, and related standards 
  * Mathematical digital libraries and repositories
  * Authoring languages and tools 
  * Search and retrieval of highly mathematical content
  * Data mining and discovery in mathematical databases
  * Integration with computer algebra systems and automated theorem proving
  * Collaboration tools for mathematics 
  * Tools for mathematical workflows 

Leuven 2010:
============

Ron Boisvert made a live presentation of the in May 2010 released
"NIST Digital Library of Mathematical Functions".
http://dlmf.nist.gov/

Boulder 2011:
=============

Ron Boisvert presented a "LaTeX to XML converter" found in
http://dlmf.nist.gov/LaTeXML

Santander 2012:
===============

NIST is still very active in this area. Boisvert presented the
project description above.