Digitisation, representation, and formalisation: Digital libraries of mathematics (2003)

by A A Adams
Venue:Proceedings of the 2nd International Conference on Mathematical Knowledge Management