Methods for access and retrieval of mathematical content in ActiveMath (2006)

by P Libbrecht, E Melis
Venue:In Proc. Int’l Congress on Mathematical Software, volume 4151 of LNCS