Mathematical formulas are commonly used to demonstrate theories and basic fundamentals
in the Science, Technology, Engineering, and Mathematics (STEM) domain. The burgeoning …

With the recent success of dense retrieval methods based on bi-encoders, studies have
applied this approach to various interesting downstream retrieval tasks with good efficiency …

In math formula search, relevance is determined not only by the similarity of formulas in
isolation, but also by their surrounding context. We introduce MathAMR, a new unified …

Tagging knowledge concepts for course problems is essential for intelligent tutoring
systems. Traditional manual tagging methods, usually performed by domain experts, are …

Traditional mathematical search models retrieve scientific documents only by mathematical
expressions and their contexts and do not consider the ontological attributes of scientific …

Solving math problems can be challenging. It is so challenging that one might wish to seek
insights from the internet, looking for related references to understand more about the …

The work presented in this paper is part of a project that focuses on sorting simulation
models used at Intel to calculate power consumption of electronic devices. Hundreds of …

Scientific documents contain a large number of mathematical expressions and texts
containing mathematical semantics. Simply using mathematical expressions or text to …

Nowadays, the amount of scientific documents which contain mathematical equations is
gradually increasing. Retrieving specific documents related to mathematical equations is …

Analyzing Mathematical Content for Plagiarism and Recommendations | SpringerLink Skip to
main content Advertisement SpringerLink Account Menu Find a journal Publish with us Track …