{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T02:22:02Z","timestamp":1778466122243,"version":"3.51.4"},"reference-count":16,"publisher":"European Society of Computational Methods in Sciences and Engineering","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JCM"],"published-print":{"date-parts":[[2023,12,15]]},"abstract":"<jats:p>Design and implementation of the system for retrieving information about mathematical formulas \u2013 MFIRS. The structure of the system is mainly divided into the modules: input normalization, mathematical formula unification, mathematical formula encoding, text information feature extraction, mathematical formula feature extraction, mathematical formula indexing, retrieval and ranking. A method for extracting mathematical formulas and keywords based on FastText word embedding technology is proposed. This method can be used not only to get the structural features of the formula, but also to facilitate the calculation of the similarity of the formula by the vector result. At the same time, the model introduces the semantic features of context-rich mathematical formulas to improve the domain correlation of search results. The MathRetEval dataset was created based on about 7.9 \u00d7 105 arXiv documents and about 1.5 \u00d7 108 mathematical formulas. The scalability of the system is verified using this data set. The mathematical formulas can be written in the language TEX or MathML. When queried in the TEX language, it can be converted to a tree representation of the MathML representation and then indexed. This MFIRS is an information retrieval system for mathematical formulas with the features of mathematical perception, which can use the search for the similarity of partial formulas.<\/jats:p>","DOI":"10.3233\/jcm-226961","type":"journal-article","created":{"date-parts":[[2023,12,19]],"date-time":"2023-12-19T12:20:46Z","timestamp":1702988446000},"page":"2949-2973","source":"Crossref","is-referenced-by-count":2,"title":["Mathematical formula information retrieval system"],"prefix":"10.66113","volume":"23","author":[{"given":"Yong","family":"Hou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"55691","reference":[{"issue":"2","key":"10.3233\/JCM-226961_ref1","doi-asserted-by":"publisher","first-page":"407","DOI":"10.20525\/ijrbs.v12i2.2386","article-title":"Exploring the effects of technology integration in the learning and teaching of Mathematics","volume":"12","author":"Maqoqa","year":"2023","journal-title":"International Journal of Research in Business and Social Science (2147-4478)"},{"issue":"2","key":"10.3233\/JCM-226961_ref2","doi-asserted-by":"publisher","first-page":"1466","DOI":"10.1002\/mma.8590","article-title":"Inverse scattering problem with Levinson formula for eigenparameter \u2013 dependent discrete Sturm-Liouville equation","volume":"46","author":"Koprubasi","year":"2022","journal-title":"Mathematical Methods in the Applied Sciences."},{"key":"10.3233\/JCM-226961_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s43674-022-00033-z"},{"issue":"1","key":"10.3233\/JCM-226961_ref4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3934\/mcrf.2021049","article-title":"Continuity with respect to the speed for optimal ship forms based on Michell\u2019s formula","volume":"13","author":"Dambrine","year":"2023","journal-title":"Mathematical Control and Related Fields."},{"key":"10.3233\/JCM-226961_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s40819-022-01419-w"},{"key":"10.3233\/JCM-226961_ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3196398.3196413"},{"key":"10.3233\/JCM-226961_ref7","doi-asserted-by":"crossref","unstructured":"Jain R, Prathik S, Vinayakarao V, Purandare R. A search system for mathematical expressions on software binaries. In: Proceedings of the 15th International Conference on Mining Software Repositories. New York, NY, USA, ACM; 2018.","DOI":"10.1145\/3196398.3196413"},{"key":"10.3233\/JCM-226961_ref8","doi-asserted-by":"publisher","DOI":"10.1109\/mipr.2018.00061"},{"key":"10.3233\/JCM-226961_ref9","doi-asserted-by":"publisher","DOI":"10.1109\/wnyipw.2013.6890981"},{"key":"10.3233\/JCM-226961_ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ictai.2019.00044"},{"key":"10.3233\/JCM-226961_ref11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/tpami.2022.3195261","article-title":"Do the math: Making mathematics in wikipedia computable","author":"Greiner-Petter","year":"2022","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence."},{"key":"10.3233\/JCM-226961_ref12","doi-asserted-by":"publisher","DOI":"10.1109\/isit44484.2020.9174459"},{"key":"10.3233\/JCM-226961_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/jstsp.2022.3192714"},{"key":"10.3233\/JCM-226961_ref14","doi-asserted-by":"publisher","first-page":"78590","DOI":"10.1109\/access.2020.2990422","article-title":"Improving random projections with extra vectors to approximate inner products","volume":"8","author":"Li","year":"2020","journal-title":"IEEE Access."},{"issue":"2","key":"10.3233\/JCM-226961_ref15","doi-asserted-by":"publisher","first-page":"1197","DOI":"10.1109\/tit.2021.3126865","article-title":"Multi-server weakly-private information retrieval","volume":"68","author":"Lin","year":"2022","journal-title":"IEEE Transactions on Information Theory."},{"key":"10.3233\/JCM-226961_ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3529372.3530925"}],"container-title":["Journal of Computational Methods in Sciences and Engineering"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/JCM-226961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T22:07:07Z","timestamp":1776809227000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/JCM-226961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,15]]},"references-count":16,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.3233\/jcm-226961","relation":{},"ISSN":["1472-7978","1875-8983"],"issn-type":[{"value":"1472-7978","type":"print"},{"value":"1875-8983","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,15]]}}}