Document recognition and retrieval technologies complement one another, providing
improved access to increasingly large document collections. While recognition and retrieval …

The paper gives a review of existing projects of implementation of digital mathematical
libraries. An analysis of existing information systems of digital mathematical libraries is …

A mathematical knowledge management technology is discussed, its basic ideas,
approaches and results are based on targeted ontologies in the field of mathematics. The …

The paper provides a survey of semantic methods for solution of fundamental tasks in
mathematical knowledge management. Ontological models and formalisms are discussed …

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

Abstract Mathematical Information Retrieval (MIR) is a research area that focuses on the
Information Need (IN) of the Science, Technology, Engineering and Mathematics (STEM) …

The vast and fast-growing STEM literature makes it imperative to develop systems for
automated math-semantics extraction from technical content, and for semantically-enabled …

While there has been some discussion on how Symbolic Computation could be used for AI
there is little literature on applications in the other direction. However, recent results for …

We assume some standard choices for the branch cuts of a group of functions and consider
the problem of then calculating the branch cuts of expressions involving those functions …

Knowledge Management Systems (KMS) are software tools of great use to keep and
preserve the knowledge of experts in organizations. However, the advantages …