Two tools for mathematical knowledge management in theorema
|Titel||Two tools for mathematical knowledge management in theorema|
|Buchtitel||Proc. 1st Int. Workshop on Mathematical Knowledge Management (MKM'01)|
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.