Automating discovery in mathematics and science will require sophisticated methods of
information extraction and abstract reasoning, including models that can convincingly …

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

Identifying academic plagiarism is a pressing task for educational and research institutions,
publishers, and funding agencies. Current plagiarism detection systems reliably find …

We are presenting semantic methods of search for mathematical objects in scientific
publications. In particular, methods of search for mathematical formulas, as well as methods …

This paper presents, to our knowledge, the first study on analyzing mathematical
expressions to detect academic plagiarism. We make the following contributions. First, we …

Combining text and mathematics when searching in a corpus with extensive mathematical
notation remains an open problem. Recent results for Tangent-3 on the math and text …

Mathematical notation, ie, the writing system used to communicate concepts in mathematics,
encodes valuable information for a variety of information search and retrieval systems. Yet …

Although there has been considerable interest in recent years in the development of
specialized mathematical digital libraries that can index and search for mathematical …

Given the increase of publications, search for relevant papers becomes tedious. In
particular, search across disciplines or schools of thinking is not supported. This is mainly …

Citation-based Information Retrieval (IR) methods for scientific documents have proven to be
effective in academic disciplines that use many references. In science, technology …