We need efficient, new techniques - based on sophisticated formal mathematics and software technology - for taking fruit of the enormous knowledge available in current mathematical sources and for organizing mathematical knowledge in a new way.

The **Workshop** and the **Special Issue** should bring together math
researchers, software developers, publishing companies, math organizations,
and teachers for exchanging their views and approaches and for pushing the
field.

Whereas the workshop is designed to provide a forum for discussion and
presentation of early ideas, the special issue is a forum for polished,
refereed papers in the area of mathematical knowledge management.

Participation and presentation of talks and papers is possible in both the
workshop and the special issue, jointly or independently.

- Currently much effort/money is spent for producing new mathematical knowledge.
- Very little effort/money is spent for improving the reliability and efficiency of tools for retrieving what is already known in mathematics.
- Current techniques for mathematical knowledge retrieval are very cumbersome, unreliable and shockingly unsuccessful.

(Note that, in order to achieve maximum focus for both the workshop and the special issue, "mathematical knowledge management" should be parsed as "(mathematical knowledge) management" and not as "mathematical (knowledge management)". In other words, the scope of the workshop and the special issue is "the management of mathematical knowledge" and not "the mathematical theory of general knowledge management"!)

Hence, in more detail, the scope of both the workshop and the special issue is defined to be

- early ideas, philosophy, opinions, strategical goals
- formal languages, logical background
- standards, representations, and translation between representations
- algorithms, heuristics, innovative formal methods including theorem proving
- existing and future tools, systems
- organizational considerations

- computer-supported retrieval of mathematical knowledge and
- computer-supported build-up of mathematical knowledge.

An important goal of the workshop and the special issue is to bring together the representatives of the research groups currently working on standards and systems for mathematical knowledge management as, for example, OpenMath, MathML, OMDoc, Mizar, THEOREMA, MathWorld, QED, TPTP, MBase, OMEGA, ILF, HELM, EULER, LIMES, etc.

Also, it should be clear that the future of mathematical knowledge management is not only a technical question of improved tools but also a question of how the culture of doing mathematics will and should be changed. Hence, contributions to these strategical questions are also highly welcome.

This problem has many subproblems depending on how the mathematical literature is "given":

- in the traditional way of text on paper
- as natural language texts in electronic form (e.g. Latex)
- as formal texts (well-formed formulae in some logic) in electronic form
- as executable code, e.g. mathematical software systems and/or specifications of certain algorithms etc.
- ...

- references to the literature
- relevant mathematical text
- relevant formal definitions, theorems, proofs
- methods
- executable code of algorithms
- knowledge formally derivable from the stored knowledge
- ...

This problem, again, has many subproblems:

- practical languages for the formalization of mathematics
- language standards for formal mathematics
- structuring of mathematical knowledge on the basis of the logical structure of knowledge rather than on the basis of key words
- interaction of formal mathematical knowledge bases with computer-supported proving systems
- interaction of formal mathematical knowledge bases with current mathematical software systems (algorithm libraries, etc.)
- tools for restructuring the available knowledge in some mathematical area w.r.t. to a desired aspect
- ...

Maintained by Christian Vogt

[MKM 2001 - Home]