Citation-based Information Retrieval (IR) methods for scientific documen...
Digital mathematical libraries assemble the knowledge of years of
mathem...
We have developed an automated procedure for symbolic and numerical test...
Document preparation systems like LaTeX offer the ability to render
math...
Mathematical formulae carry complex and essential semantic information i...
Mathematical notation, i.e., the writing system used to communicate conc...
Purpose: Modern mathematicians and scientists of math-related discipline...
Mathematical expressions can be represented as a tree consisting of term...