OntoMathPRO: An Ontology of Mathematical Knowledge

Doklady Mathematics - The article describes OntoMathPRO, the first Linked Open Data ontology of professional mathematical knowledge. The ontology is designed to represent mathematical concepts. The...     

Mathematical knowledge ontologies and recommender systems for collections of documents in physics and mathematics

An approach to the implementation of a recommender system based on ontologies of mathematical knowledge is presented. On the basis of a document browsed by a user, the system forms on line a list of recommendations, which include similar documents, key words, and definitions of these words from ontology and other terminological sources. The method of recommendations yields a vector representation of documents, taking into account the position of terms in the logical structure of the document and their ontological connections. On the basis of the cosine measure, a measure of proximity between documents is calculated. The order of documents in the list of recommendations is determined by values of the proximity measure. Various adaptations of the system to user scenarios aimed at the preparation of personalized recommendations are discussed.     

Integral equations in the wave scattering problem at an irregular interface of domains

Modeling the scattering of electromagnetic waves at an interface of media with different characteristics, one encounters the conjugation problem. Using the method of boundary integral equations and the theory of generalized potentials, we prove the classical resolvability of this problem. The boundary is assumed to be irregular. This means that the plane is divided into two domains by a curve which coincides with a straight line, except for a finite part, producing the irregularity. We propose algorithms for the approximate solution of the conjugation problem based on the spline methods for the solution of integral equations. We theoretically substantiate the computational scheme, namely, we prove the convergence and estimate the convergence rate.