Title: Automatic classification for the ASTIA mathematics collection