Skip to main content
SpringerLink
Log in

A Survey on Retrieval of Mathematical Knowledge

  • Conference paper
  • First Online:
Intelligent Computer Mathematics (CICM 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9150))

Included in the following conference series:

Abstract

We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and recurring techniques.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Adeel, M., Cheung, H.S., Khiyal, S.H.: Math GO! prototype of a content based mathematical formula search engine. J. Theor. Appl. Inf. Technol. 4(10), 1002–1012 (2008)

    Google Scholar 

  2. Asperti, A., Guidi, F., Coen, C.S., Tassi, E., Zacchiroli, S.: A content based mathematical search engine: Whelp. In: Filliâtre, J.-C., Paulin-Mohring, C., Werner, B. (eds.) TYPES 2004. LNCS, vol. 3839, pp. 17–32. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-10 math pilot task overview. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 654–661 (2013)

    Google Scholar 

  4. Aizawa, A., Kohlhase, M., Ounis, I.: NTCIR-11 math 2 task overview. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 88–98 (2014)

    Google Scholar 

  5. Asperti, A., Selmi, M.: Efficient retrieval of mathematical statements. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 17–31. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Altamimi, M.E., Youssef, A.: A more canonical form of content MathML to facilitate math search. In: Proceedings of Extreme Markup Languages (2007)

    Google Scholar 

  7. Altamimi, M.E., Youssef, A.S.: Wildcards in math search, implementation issues. In: Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, CAINE 2007, San Francisco, California, USA, 7–9 November, pp. 90–96 (2007)

    Google Scholar 

  8. Ahmadi, S.A., Youssef, A.: Lexical error compensation in handwritten-based mathematical information retrieval. In: Proceedings of Towards Digital Mathematics Library, DML 2008, Birmingham, UK, 27 July, pp. 43–54. Masaryk University, Brno (2008)

    Google Scholar 

  9. Altamimi, M.E., Youssef, A.S.: A math query language with an expanded set of wildcards. Math. Comput. Sci. 2(2), 305–331 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Asperti, A., Zacchiroli, S.: Searching mathematics on the web: state of the art and future developments. In: Karlsruhe, F (ed.) Proceedings of New Developments in Electronic Publishing of Mathematics, pp. 9–18 (2004)

    Google Scholar 

  11. Bancerek, G.: Information retrieval and rendering with MML query. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 266–279. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Baumgartner, P., Furbach, U.: Automated deduction techniques for the management of personalized documents. Ann. Math. Artif. Intell. 38(1–3), 211–228 (2003)

    Article  MATH  Google Scholar 

  13. Bancerek, G., Rudnicki, P.: Information retrieval in MML. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) Mathematical Knowledge Management, pp. 119–132. Springer, Bertinoro (2003)

    Chapter  Google Scholar 

  14. Bancerek, G., Urban, J.: Integrated semantic browsing of the mizar mathematical library for authoring mizar articles. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 44–57. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Cairns, P.: Informalising formal mathematics: searching the mizar library with latent semantics. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 58–72. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  16. Caprotti, O., Dewar, M., Turi, D.: Mathematical service matching using description logic and OWL. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 73–87. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  17. Delahaye, D.: Information retrieval in a \(Coq\) proof library using type isomorphisms. In: Coquand, T., Nordström, B., Dybjer, P., Smith, J. (eds.) TYPES 1999. LNCS, vol. 1956, pp. 131–147. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  18. Formánek, D., Líška, M., Růžička, M., Sojka, P.: Normalization of digital mathematics library content. In: Davenport, J., Jeuring, J., Lange, C., Libbrecht, P. (eds.) Joint Proceedings of the 24th OpenMath Workshop, the 7th Workshop on Mathematical User Interfaces (MathUI), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics. CEUR Workshop Proceedings, vol. 921, pp. 91–103. Neuveden, Aachen (2012)

    Google Scholar 

  19. Gauthier, T., Kaliszyk, C.: Matching concepts across HOL libraries. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 267–281. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  20. Pinto, J.M.G., Barthel, S., Balke, W.-T.: QUALIBETA at the NTCIR-11 math 2 task: an attempt to query math collections. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 103–107 (2014)

    Google Scholar 

  21. Guidi, F., Schena, I.: A query language for a metadata framework about mathematical resources. In: Asperti, A., Buchberger, B., Davenport, J.H. (eds.) Mathematical Knowledge Management, pp. 105–118. Springer, Bertinoro (2003)

    Chapter  Google Scholar 

  22. Gao, L., Wang, Y., Hao, L., Tang, Z.: ICST math retrieval system for NTCIR-11 math-2 Task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 99–102 (2014)

    Google Scholar 

  23. Hashimoto, H., Hijikata, Y., Nishida, S.: Incorporating breadth first search for indexing MathML objects. In: IEEE International Conference on Systems, Man and Cybernetics, SMC 2008, pp. 3519–3523, October 2008

    Google Scholar 

  24. Hambasan, R., Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-11. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 114–119 (2014)

    Google Scholar 

  25. Haralambous, Y., Quaresma, P.: Querying geometric figures using a controlled language, ontological graphs and dependency lattices. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 298–311. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  26. Hagino, H., Saito, H.: Partial-match retrieval with structure-reflected indices at the NTCIR-10 math task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 692–695 (2013)

    Google Scholar 

  27. Kohlhase, A., Kohlhase, M.: Reexamining the MKM value proposition: from math web search to math web ReSearch. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 313–326. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. Kohlhase, A.: Search interfaces for mathematicians. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 153–168. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  29. Kohlhase, M., Prodescu, C.: MathWebSearch at NTCIR-10. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 675–679 (2013)

    Google Scholar 

  30. Kamali, S., Tompa, F.W.: Improving mathematics retrieval. In: Proceedings of Towards Digital Mathematics Library, DML 2009, Grand Bend, Ontario, Canada, 8–9 July, pp. 37–48. Masaryk University, Brno (2009)

    Google Scholar 

  31. Kamali, S., Tompa, F.W.: A new mathematics retrieval system. In: Proceedings of the 19th ACM International Conference on Information and Knowledge Management, CIKM 2010, pp. 1413–1416. ACM, New York (2010)

    Google Scholar 

  32. Kamali, S., Tompa, F.W.: Structural similarity search for mathematics retrieval. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 246–262. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  33. Kristianto, G.Y., Topić, G., Ho, F., Aizawa, A.: The MCAT math retrieval system for NTCIR-11 math track. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 120–126 (2014)

    Google Scholar 

  34. Líška, M.: Searching Mathematical Texts (2010)

    Google Scholar 

  35. Líška, M.: Evaluation of Mathematics Retrieval (2013)

    Google Scholar 

  36. Lipani, A., Andersson, L., Piroi, F., Lupu, M., Hanbury, A.: TUW-IMP at the NTCIR-11 Math-2. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 143–146 (2014)

    Google Scholar 

  37. Libbrecht, P., Desmoulins, C., Mercat, C., Laborde, C., Dietrich, M., Hendriks, M.: Cross-curriculum search for intergeo. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 520–535. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  38. Libbrecht, P.: Escaping the trap of too precise topic queries. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 296–309. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  39. Libbrecht, P., Melis, E.: Methods to access and retrieve mathematical content in ActiveMath. In: Iglesias, A., Takayama, N. (eds.) ICMS 2006. LNCS, vol. 4151, pp. 331–342. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  40. Ray R. Larson., Chloe J. Reynolds., Fredric C. Gey.: The Abject Failure of Keyword IR for Mathematics Search: Berkeley at NTCIR-10 Math. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 662–666 (2013)

    Google Scholar 

  41. Líška, M., Sojka, P., Líška, M., Mravec, P.: Web interface and collection for mathematical retrieval: WebMIaS and MREC. In: Proceedings of Towards Digital Mathematics Library, DML 2011, Bertinoro, Italy, 20–21 July, pp. 77–84. Masaryk University, Brno (2011)

    Google Scholar 

  42. Líška, M., Sojka, P., Růžička, M.: Similarity search for mathematics: Masaryk university team at the NTCIR-10 math task. In: Proceedings of the 10th NTCIR Conference, Tokyo, Japan, pp. 686–691 (2013)

    Google Scholar 

  43. Líška, M., Sojka, P., Růžička, M.: Math indexer and searcher web interface. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 444–448. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  44. Misutka, J., Galambos, L.: Mathematical extension of full text search engine indexer. In: 3rd International Conference on Information and Communication Technologies: From Theory to Applications, ICTTA 2008, pp. 1–6, April 2008

    Google Scholar 

  45. Mišutka, J., Galamboš, L.: Extending full text search engine for mathematical content. In: Proceedings of Towards Digital Mathematics Library, DML 2008, Birmingham, UK, 27 July, pp. 55–67. Masaryk University, Brno (2008)

    Google Scholar 

  46. Miller, B.R.: Three years of DLMF: web, math and search. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS, vol. 7961, pp. 288–295. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  47. Munavalli, R., Miner, R.: Mathfind: a math-aware search engine. In: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 735–735. ACM (2006)

    Google Scholar 

  48. Miner, R., Munavalli, R.: An approach to mathematical search through query formulation and data normalization. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 342–355. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  49. Miller, B.R., Youssef, A.: Technical aspects of the digital library of mathematical functions. Ann. Math. Artif. Intell. 38(1–3), 121–136 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  50. Miller, B.R., Youssef, A.M.: Augmenting presentation MathML for search. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 536–542. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  51. Nguyen, T.T., Chang, K., Hui, S.C.: A math-aware search engine for math question answering system. In: Proceedings of the 21st ACM International Conference on Information and Knowledge Management, pp. 724–733. ACM (2012)

    Google Scholar 

  52. Normann, I., Kohlhase, M.: Extended formula normalization for \(\epsilon \)-retrieval and sharing of mathematical knowledge. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 356–370. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  53. Nghiem, M.-Q., Kristianto, G.Y., Topić, G., Aizawa, A.: Which one is better: presentation-based or content-based math search? In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 200–212. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  54. Pattaniyil, N., Zanibbi, R.: Combining TF-IDF text retrieval with an inverted index over symbol pairs in math expressions: the tangent math search engine at NTCIR 2014. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 135–142 (2014)

    Google Scholar 

  55. Rabe, F.: A query language for formal mathematical libraries. In: Campbell, J.A., Jeuring, J., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M., Sorge, V. (eds.) CICM 2012. LNCS, vol. 7362, pp. 143–158. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  56. Růžička, M., Sojka, P., Líška, M.: Math indexer and searcher under the hood: history and development of a winning strategy. In: Proceedings of the 11th NTCIR Conference, Tokyo, Japan, pp. 127–134 (2014)

    Google Scholar 

  57. Sojka, P., Líška, M.: The art of mathematics retrieval. In: Proceedings of the 11th ACM Symposium on Document Engineering, pp. 57–60. ACM (2011)

    Google Scholar 

  58. Schubotz, M., Leich, M., Markl, V.: Querying large collections of mathematical publications: NTCIR10 math task. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 667–674 (2013)

    Google Scholar 

  59. Shatnawi, M., Youssef, A.: Equivalence detection using parse-tree normalization for math search. In: Proceedings of the Second IEEE International Conference on Digital Information Management (ICDIM), Lyon, France, 11–13 December, pp. 643–648 (2007)

    Google Scholar 

  60. Schubotz, M., Youssef, A., Markl, V., Cohl, H.S., Li, J.J.: Evaluation of similarity-measure factors for formulae based on the NTCIR-11 math task. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 108–113 (2014)

    Google Scholar 

  61. Topić, G., Kristianto, G.Y., Nghiem, M.-Q., Aizawa, A.: The MCAT math retrieval system for NTCIR-10 math track. In: Proceedings of 10th NTCIR Conference, Tokyo, Japan, pp. 680–685 (2013)

    Google Scholar 

  62. Wolska, M., Grigore, M.: Symbol declarations in mathematical writing. In: Proceedings of Towards Digital Mathematics Library, DML 2010, Paris, France, 7–8 July, pp. 119–127. Masaryk University, Brno (2010)

    Google Scholar 

  63. Youssef, A.S., Altamimi, M.E.: An extensive math query language. In: Proceedings of the 16th International Conference on Software Engineering and Data Engineering (SEDE-2007), 9–11 July, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, pp. 57–63 (2007)

    Google Scholar 

  64. Yokoi, K., Aizawa, A.: An approach to similarity search for mathematical expressions using MathML. In: Proceedings of Towards Digital Mathematics Library, DML 2009, Grand Bend, Ontario, Canada, 8–9 July, pp. 27–35. Masaryk University, Brno (2009)

    Google Scholar 

  65. Youssef, A.: Search of mathematical contents: issues and methods. In: Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, 20–22 July, Novotel Toronto Centre, Toronto, Canada, pp. 100–105 (2005)

    Google Scholar 

  66. Youssef, A.M.: Roles of math search in mathematics. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 2–16. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  67. Youssef, A.S.: Methods of relevance ranking and hit-content generation in math search. In: Kauers, M., Kerber, M., Miner, R., Windsteiger, W. (eds.) MKM/CALCULEMUS 2007. LNCS (LNAI), vol. 4573, pp. 393–406. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  68. Youssef, A.S.: Relevance ranking and hit description in math search. Math. Comput. Sci. 2(2), 333–353 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  69. Youssef, A., Shatnawi, M.: Math search with equivalence detection using parse-tree normalization. In: The 4th International Conference on Computer Science and Information Technology (2006)

    Google Scholar 

  70. Zanibbi, R., Blostein, D.: Recognition and retrieval of mathematical expressions. Int. J. Doc. Anal. Recogn. (IJDAR) 15(4), 331–357 (2012)

    Article  Google Scholar 

  71. Zhao, J., Kan, M.-Y., Theng, Y.L.: Math information retrieval: user requirements and prototype implementation. In: Proceedings of the 8th ACM/IEEE-CS Joint Conference on Digital Libraries, pp. 187–196. ACM (2008)

    Google Scholar 

  72. Zhang, Q., Youssef, A.: An approach to math-similarity search. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 404–418. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering – DISI, University of Bologna, Bologna, Italy

    Ferruccio Guidi & Claudio Sacerdoti Coen

Authors
  1. Ferruccio Guidi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claudio Sacerdoti Coen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudio Sacerdoti Coen .

Editor information

Editors and Affiliations

  1. School of Computer Science, University of Birmingham, Birmingham, United Kingdom

    Manfred Kerber

  2. McMaster University, Hamilton, Ontario, Canada

    Jacques Carette

  3. University of Innsbruck, Innsbruck, Austria

    Cezary Kaliszyk

  4. Jacobs University Bremen, Bremen, Germany

    Florian Rabe

  5. University of Birmingham, Birmingham, United Kingdom

    Volker Sorge

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Guidi, F., Sacerdoti Coen, C. (2015). A Survey on Retrieval of Mathematical Knowledge. In: Kerber, M., Carette, J., Kaliszyk, C., Rabe, F., Sorge, V. (eds) Intelligent Computer Mathematics. CICM 2015. Lecture Notes in Computer Science(), vol 9150. Springer, Cham. https://doi.org/10.1007/978-3-319-20615-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-20615-8_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-20614-1

  • Online ISBN: 978-3-319-20615-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation