Some ideas for mathematical knowledge management software

Authors Felix Kossak
Title Some ideas for mathematical knowledge management software
Type techreport
Number SCCH-TR-0124
Address Hagenberg, Austria
Institution SCCH
Year 2001
SCCH ID# 124
Abstract

The flood of knowledge available today has forced us to think about organising access to it, which brought up the field of Knowledge Management. We think that also in the field of mathematics, the time has come to make access to the vast knowledge that is available easier for humans and possible for machines. We point out the specific requirements of mathematical knowledge management and give some ideas how existing software techniques could be employed.