Abstract “Learning from Learners”(“Von Lernenden Lernen”,“VoLL-KI” for short) is a is
collaborative research project with the goal of creating a practical toolbox of instruments at …

We offer methods for the formation of digital collections from a set of documents (scientific
articles, monographs, collections of reports), which are presented in various storage formats …

Directions in the development and use of digital technologies in scientific activities based on
digital platforms, as well as the importance and role of digital libraries in their formation, are …

Аннотация Представлены результаты по созданию методов управления
математическим знанием в контексте цифровых математических библиотек …

This paper is devoted to the problems of ontology-based mathematical knowledge
management and representation. The main attention is paid to the development of a formal …

We present the results of the development of a range of semantic services for the integrated
management of electronic scientific collections. The goals of these developments are the …

Представлены новые направления развития цифровой экосистемы OntoMath, которая
служит технологической основой цифровой математической библиотеки Lobachevskii …

Algorithms for documents metadata formation of unstructured digital mathematical
collections are proposed. They are based on the use of search queries to such open …

2 Answers to Readers' Questions 6 2.1 Why Logic?............................ 6 2.2 Why a Practical
Logic?..................... 6 2.3 Why Simple Type Theory?................... 7 2.4 Why not First-Order …

A theorem prover without an extensive library is much less useful to its potential users.
Algebra, the study of algebraic structures, is a core component of such libraries. Algebraic …