Two tools for mathematical knowledge management in theorema

Autoren Koji Nakagawa
Bruno Buchberger
TitelTwo tools for mathematical knowledge management in theorema
BuchtitelProc. 1st Int. Workshop on Mathematical Knowledge Management (MKM'01)
Typin Konferenzband
OrtHagenberg, Austria
MonatSeptember
Jahr2001
SCCH ID#163
Abstract

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.