Abstract: A decade after a resolution by the International Mathematical Union in 2006 endorsing the notion of a global digital mathematics
library, and following a thorough report on possibilities written under the auspices of the US National Research Council in 2012, an 8-person
Working Group, set up in 2014, is still working toward implementations of some of the ideas. There are difficulties with mobilizing a community
toward building worthwhile infrastructure in times that are both parlous and rich, depending on where you stand.
Abstract: We give a report on the EuKIM project, which was recently submitted to the EU Horizon 2020 program, INFRAIA-02-2017 (Integrating Activities for Starting Communities) topic, by a consortium of
twelve European research groups. The project aims at building up a ``Global Digital Math Library" (knowledge base) integrating and extending current efforts worldwide. A central part of the project is the design and implementation of a software system that organizes open and one-stop access to mathematical knowledge and to various tools for processing mathematical knowledge. Recent progress in automated reasoning is an important issue for achieving more sophisticated levels in this endeavor.
Abstract: Scientific videos often are supplementary material to otherwise published research material or contain additional material on their own. Especially in the mathematical context there four main categories with accompanying media: 1) visual demonstrations of numerical simulations, 2) video recordings of conference talks, 3) video abtracts for journal submissions, and 4) lecture videos. TIB's AV portal links its videos to all kinds of supplementary research information if it is freely available. Furthermore, a user's query to the portal is automatically expanded to a query in TIB's discovery system in order to retrieve supplementary material or further reading indexed therein. This article discusses the four categories of media combinations listed above and how to interlink them in order to guarantee easy access.
Abstract: The Math-Net.Ru project collects information about leading Russian mathematical events (scientific conferences and seminars, public and educational lectures). The system arranges an event web page with a list of talks. A talk web page includes the authors, the title, an abstract, keywords, the reference list, the date and the place of the event and a video record of the talk; a video player is embedded in the webpage. The way of arranging the collection of talks is similar to the method for constructing our publication database.
The talk metadata include the same features that the journal paper metadata may have --- the authors, the title, the abstract, the keywords, the reference list. The event title corresponds to the journal title, and the talk date and time correspond to the year, the volume, the issue and the pages of a journal paper. The authors of talks and the authors of journal papers are collected into a single database of persons and have their own unique IDs. A personal web page shows the list of papers and the list of talks. Finally, a video record of the talk corresponds to the PDF file of a full-text article. Full integration between the databases of presentations, publications and persons is maintained, and cross-links between them are provided.
Abstract: In the frame of the work of the Working Group ``Global Digital Math Library'', Jim Pitman proposed Aart Stam's collection of combinatorial
identities as a benchmark for ``digitizing'' mathematical knowledge. This collection seems to be a challenge for ``digitization'' because
of its size (1300 pages in a .pdf file) and because of the fact that, for the most part, it is hand-written. However, after an in-depth analysis,
it turns out that the real challenges are of mathematical and logical nature. In this talk we discuss what digitization of such a { }piece of mathematics
means and report on various tools that may help in this endeavor. The tools range from technical tools for typing formulae all the way to sophisticated
algebraic and reasoning algorithms. The experiments for applying these tools to Stam{'}s collection are currently carried out by two of the working
groups at RISC.
Abstract:
The On-line Encyclopedia of Integer Sequences (OEIS) is the largest database of its kind and an important resource for mathematicians. The database is well-structured and rich in mathematical content but is informal in nature, so knowledge management services are not directly applicable. In this paper we provide a partial parser for the OEIS that leverages the fact that, in practice, the syntax used in its formulas is fairly regular. Then, we import the result into OMDOC to make the OEIS accessible to OMDOC-based knowledge management applications. We exemplify this with a formula search application based on the MATHWEBSEARCH system and a program that finds relations between the OEIS sequences.
Abstract: Mathematical vernacular -- the everyday language we use to communicate about mathematics is characterized by a special vocabulary. If we want to support humans with mathematical
documents, we need a resource that captures the terminological, linguistic, and ontological aspects of the mathematical vocabulary. In the SMGloM project and system,
we aim to do just this. We present the glossary system prototype, the content organization, and the envisioned community aspects.