Towards automatically categorizing mathematical knowledge | IEEE Conference Publication | IEEE Xplore