Developing a 21st Century Global Library for Mathematics Research

@inproceedings{Sciences2014DevelopingA2,
  title={Developing a 21st Century Global Library for Mathematics Research},
  author={Committee on Planning a Global Library of the Mathematical Sciences},
  year={2014}
}
Mathematics is a cumulative discipline: new research is reliant on well-organized and well-curated literature. Webbased access to that literature is now mature and quite effective, allowing mathematicians to search individual items within the literature using attributes such as subjects, titles, authors, dates, and citations. Yet, while much information is contained in the individual items that comprise the mathematical literature, a greater amount of information is represented by the links… 
How to Build a Global Digital Mathematics Library
  • S. Watt
  • Computer Science
    2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
  • 2016
TLDR
A path toward assembling the world’s mathematical knowledge is outlined, initially in the form of a comprehensive digital library of page images, and it can foresee that such a knowledge base will enhance the capacity of individual mathematicians, accelerate discovery and allow new kinds of collaboration.
Characterizing Searches for Mathematical Concepts
TLDR
The nature of queries for mathematical concepts that were created by users of a search engine are examined to suggest that robust support for query refinement and reformulation could prove beneficial.
Math-Aware Search Engines: Physics Applications and Overview
TLDR
This review presents the existing math-aware search engines, discusses methods for maximizing their search success, and overviews their math-matching capabilities.
Augmenting Mathematical Formulae for More Effective Querying & Efficient Presentation
TLDR
This thesis proposes to rethink the fundamentals of MIR systems and proposes the concept of context-free formulae visualized by the idea of Formula Home Page (FHP), a mathematically literate person can fully understand the formula semantics without needing to visit a FHP.
Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge
The first question was first raised by Appel and Haken’s proof of the four color theorem [2], which in four hundred pages of regular proof text reduced the problem to approximately two thousand
it 1 / 15 ( Deep ) FAIR Mathematics
TLDR
While the mathematical community embraces the notion of open data, the FAIR principles are not yet sufficiently realized, and a prototypical system infrastructure is shown, which can realize deep FAIRness for one category (relational data) of mathematical datasets.
University of Dundee Argumentation Theory for Mathematical
To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these
Math Indexer and Searcher under the Hood: History and Development of a Winning Strategy
TLDR
The approach is the similarity search based on MathML Canonicalization and second generation of scalable full text search engine Math Indexer and Searcher (MIaS) with attested state-of-the-art information retrieval techniques.
Information Seeking Behaviors, Attitudes, and Choices of Academic Mathematicians
ABSTRACT Mathematicians in academic institutions utilize a variety of resources and strategies to seek, find, and use scholarly information and news. Using a sample of mathematicians, researchers
Learning to Match Mathematical Statements with Proofs
TLDR
A novel task consisting in assigning a proof to a given mathematical statement is introduced, designed to improve the processing of research-level mathematical texts and a self-attention-based model is introduced that can be trained either locally or globally and outperforms baselines by a wide margin.
...
...