Highly Influential

# Closing the Gap Between Formal and Digital Libraries of Mathematics

@inproceedings{Gow2007ClosingTG, title={Closing the Gap Between Formal and Digital Libraries of Mathematics}, author={Jeremy Gow and Paul Cairns}, year={2007} }

- Published 2007

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.