Article
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
Publications
Article
On Benign Subgroups Constructed by Higman’s Sequence Building Operation
Article
Knowledge retrieval and diagnostics in cloud services with large language models
Article
SOME BOUNDS ON THE NUMBER OF COLORS IN INTERVAL EDGE-COLORINGS OF GRAPHS
Article
On Quantified Splitting Proof System for Propositional Calculi
Article
CENTERS AND MEDIANS OF TREES
Article
СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ ЯЗЫКОВЫХ КЛАСТЕРОВ
Article
Enhancing Thermal Image Classification with Novel Quality Metric-Based Augmentation Techniques
Article
THE MOORE–PENROSE INVERSE OF TRIDIAGONAL SKEW-SYMMETRIC MATRICES. I
Article
Decomposing graphs into interval colorable subgraphs and no-wait multi-stage schedules
Article
Отражение и проxождение форм волны сдвига от границы раздела двуx полубесконечныx частей упругого композитного волновода
Article
On the Gasca–Maeztu Conjecture for n = 6
Article
The Moore-Penrose inverse of tridiagonal skew-symmetric matrices. II
Article
ОБ УСЛОВИЯХ ОПТИМАЛЬНОСТИ ЗАДАЧИ МИНИМИЗАЦИИ ВЕСА ОБОЛОЧКИ ВРАЩЕНИЯ ПРИ ЗАДАННОЙ ЧАСТОТЕ КОЛЕБАНИЙ
Article
On the Optimality Conditions in the Weight Minimization Problem for a Shell of Revolution at a Given Vibration Frequency
Article
Supersonic flutter characteristics of dielectric rectangular plate: The effects of magneto-aero-hydrodynamic interactions
Article
The Higman operations and embeddings of recursive groups
Article
Stability of a dielectric rectangular plate in a longitudinal magnetic field in the presence of a supersonic flow field
