13 search results - page 2 / 3 » mkm 2004 |
MKM
2004
Springer
13 years 10 months ago
2004
Springer
We propose a mathematical knowledge browser which helps people to read mathematical documents. By the browser printed mathematical documents can be scanned and recognized by OCR (O...
MKM
2004
Springer
13 years 10 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
MKM
2004
Springer
13 years 10 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
CORR
2004
Springer
13 years 4 months ago
2004
Springer
In this lecture I discuss some aspects of MKM, Mathematical Knowledge Management, with particuar emphasis on information storage and information retrieval. MSCS: 68P20, 68T30 Key w...
MKM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...