Article
Сравнение длин линейных и древовидных выводов некоторых семейств формул в ряде систем исчисления высказываний
Publications
Article
PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS
Article
Relations between the Proof Complexities in Frege Systems, Deep-Inference Proof Systems KS and eKS
Article
О СУЩЕСТВОВАНИИ НЕПРЕРЫВНЫХ СЕЛЕКЦИЙ МНОГОЗНАЧНОГО ОТОБРАЖЕНИЯ, СВЯЗАННОГО С ЗАДАЧЕЙ МИНИМИЗАЦИИ ФУНКЦИОНАЛА
Article
ON THE PALETTE INDEX OF GRAPHS HAVING A SPANNING STAR
Article
Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems
Manual
Введение в метод конечных элементов
2022
142
Article
Analytical Inversion of Tridiagonal Hermitian Matrices
Manual
Մատրիցային անալիզի տարրեր
2022
224
Article
On the Product of Subsets in Periodic Groups
Article
On a result concerning algebraic curves passing through n-independent nodes
Article
Recognition of Geometric Images by Linguistic Method
Article
An Approach to Developing and Implementing a Recommendation System
Article
ИССЛЕДОВАНИЕ СВОЙСТВ МОНОТОННОСТИ И СТРОГОЙ МОНОТОННОСТИДВУХ ПРОПОЗИЦИОНАЛЬНЫХ СИСТЕМ КЛАССИЧЕСКОЙ ЛОГИКИ
Article
INVESTIGATION OF THE INFLUENCE OF AN INTERMEDIATE HINGE SUPPORT IN THE PROBLEM OF BENDING OF AN ELASTICALLY RESTRAINED ORTHOTROPIC BEAM
Article
ԷՔՍՏՐԵՄՈՒՄՆԵՐԻ ՈՒՍՈՒՑՄԱՆ ՈՐՈՇ ՄԵԹՈԴԱԿԱՆ ՀՆԱՐՆԵՐ
Article
Locally-balanced k-partitions of graphs
Article
Embeddings Determined by Universal Words in the Rank 2 Free Group
