@inproceedings{697, author = {Shahab Kamali and Frank Tompa}, title = {A New Mathematics Retrieval System}, year = {2010}, journal = {A New Mathematics Retrieval System}, doi = {10.1145/1871437.1871635}, }