A mathematical information retrieval system based on RankBoost | IEEE Conference Publication | IEEE Xplore