Results

**1 - 2**of**2**### Closing the Gap Between Formal and Digital Libraries of Mathematics

"... Abstract. The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context o ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract. The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context of a digital library of mathematics based on the Mizar Mathematical Library and make recommendations for improving such formal systems support for MKM. 1

### STUDIES IN LOGIC, GRAMMAR AND RHETORIC 10 (23) 2007 Closing the Gap Between Formal and Digital Libraries of Mathematics

"... Abstract. The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context o ..."

Abstract
- Add to MetaCart

(Show Context)
Abstract. The representational gap between formal mathematics and most users of digital mathematics resources is a challenge for any approach to mathematical knowledge management which aims to combine the benefits of formal and informal mathematics. In this chapter we study this gap in the context of a digital library of mathematics based on the Mizar Mathematical Library and make recommendations for improving such formal systems support for MKM. 1