Two tools for mathematical knowledge management in theorema

Autoren Koji Nakagawa
Bruno Buchberger
Titel Two tools for mathematical knowledge management in theorema
Buchtitel Proc. 1st Int. Workshop on Mathematical Knowledge Management (MKM'01)
Typ in Konferenzband
Ort Hagenberg, Austria
Monat September
Jahr 2001
SCCH ID# 163

Theorema is a mathematical software system, programmed in Mathematica, that aims at computer-supporting all phases of mathematical activity. The manipulation of mathematical knowledge bases is a major issue in Theorema, which is discussed in other papers. In this paper, we describe two special techniques of Theorema that address two special subproblems of mathematical knowledge management: the technique of logicographic symbols addressing the problem of combining formal rigor and intuitive understanding of mathematical knowledge andthe technique of composing mathematical constants from constituents addressing the problem of automated generation of variants of mathematical notions.