Annotating scientific papers for mathematical formula search.

@inproceedings{kristianto-2012-annotating, author = {Giovanni Yoko Kristianto and Goran Topic and Minh-Quoc Nghiem and Akiko N. Aizawa}, editor = {Jaap Kamps and Vanessa Murdock and Jussi Karlgren and Peter Mika and Vanessa Murdock and Jaap Kamps}, title = {{Annotating scientific papers for mathematical formula search}}, booktitle = {{Proceedings of the Fifth workshop on Exploiting Semantic Annotations in Information Retrieval, ESAIR 2012, Maui, HI, USA, October 28, 2012}}, pages = {17--18}, publisher = {ACM}, year = {2012}, url = {https://doi.org/10.1145/2390148.2390158}, doi = {https://doi.org/10.1145/2390148.2390158} }