Mathematical formulas are commonly used to demonstrate theories and basic fundamentals in the Science, Technology, Engineering, and Mathematics (STEM) domain. The burgeoning research in the STEM domain results in the mass production of scientific documents that contain both textual and mathematical terms. In scientific information, the definition of mathematical formulas is expressed through context and symbolic structure that adheres to strong domain-specific notions. Whereas the retrieval of textual information is well-researched, and numerous text-based search engines are present. However, textual information retrieval systems are inadequate for searching scientific information containing mathematical formulas, including simple symbols to complicated mathematical structures. The retrieval of mathematical information is infancy, and it requires the inclusion of new technologies and tools to promote the retrieval of scientific information and the management of digital libraries. This paper provides a comprehensive study of mathematical information retrieval, highlights their challenges and future opportunities.

中文翻译：

---

数学信息检索综述


数学公式通常用于演示科学、技术、工程和数学 （STEM） 领域的理论和基本原理。STEM 领域的蓬勃发展的研究导致了包含文本和数学术语的科学文献的大规模生产。在科学信息中，数学公式的定义是通过上下文和符号结构来表达的，这些结构遵循强大的特定领域概念。而文本信息的检索经过了充分的研究，并且存在许多基于文本的搜索引擎。然而，文本信息检索系统不足以搜索包含数学公式的科学信息，包括从简单符号到复杂数学结构。数学信息的检索还处于起步阶段，它需要纳入新技术和工具，以促进科学信息的检索和数字图书馆的管理。本文对数学信息检索进行了全面的研究，强调了它们面临的挑战和未来的机遇。