Some ideas for mathematical knowledge management software
|Title||Some ideas for mathematical knowledge management software|
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.