A search system for mathematical expressions on software binaries

Jain, Ridhi; Prathik, Sai; Vinayakarao, Venkatesh; Purandare, Rahul

doi:10.1145/3196398.3196413

Cited by 3 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While there exist tools for searching mathematical formulas in documents (e.g., using treeedit distance [22]) or for searching mathematical expressions in software binaries [23] (using fingerprints) in order to build a search system which is capable of querying for software libraries implementing a mathematical term, to our knowledge, so far, no methods for detecting formula code in software repositories or empirical studies on formula code in common programming languages have been published. To some extent, almost every implementation of a mathematical formula is working with numerical values such as integer or floating point numbers.…”

Section: Related Workmentioning

confidence: 99%

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

Moseler

Lemmer

Baltes

et al. 2021

Journal of Systems and Software

View full text Add to dashboard Cite

In this paper, the term formula code refers to fragments of source code that implement a mathematical formula. We present empirical studies that analyze the diversity and frequency of formula code in open-source-software projects. In an exploratory study, we investigated what kinds of formulas are implemented in real-world Java projects and derived syntactical patterns and constraints. We refined these patterns for sum and product formulas to automatically detect formula code in software archives and to reconstruct the implemented formula in mathematical notation. In a quantitative study of a large sample of engineered Java projects on GitHub we analyzed the frequency of formula code and estimated that one of 700 lines of code in this sample implements a sum or product formula. For a sample of scientific-computing projects, we found that one of 100 lines of code implements a sum or product formula. To assess the need for tool support, we investigated the helpfulness of comments for program understanding in a sample of formula-code fragments and performed an online survey. Our findings provide first insights into the characteristics of formula code, that can motivate further studies on the role of formula code in software projects and the design of formula-related tools.

show abstract

Section: Related Workmentioning

confidence: 99%

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

Moseler

Lemmer

Baltes

et al. 2021

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

Mathematical Expressions in Software Engineering Artifacts

Sur

Jaisswal²,

Vinayakarao

2023

Proceedings of the 6th Joint International Conference on Data Science &Amp; Management of Data (10th ACM IKDD CODS and 28th COM

View full text Add to dashboard Cite

Mathematical formula information retrieval system

Hou

2023

JCM

View full text Add to dashboard Cite

Design and implementation of the system for retrieving information about mathematical formulas – 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 × 105 arXiv documents and about 1.5 × 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.

show abstract

A search system for mathematical expressions on software binaries

Cited by 3 publications

References 18 publications

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

On the diversity and frequency of code related to mathematical formulas in real-world Java projects

Mathematical Expressions in Software Engineering Artifacts

Mathematical formula information retrieval system

Contact Info

Product

Resources

About