Study manual
談铡诈榨沾铡湛斋寨铡寨铡斩 湛謤铡沾铡闸铡斩崭謧诈盏崭謧斩
2025
114
Publications
Study manual
諘蘸湛斋沾斋咋铡謥斋铡盏斋 沾榨诈崭栅斩榨謤炸 沾榨謩榨斩铡盏铡寨铡斩 崭謧战崭謧謥沾铡斩 窄斩栅斋謤斩榨謤崭謧沾
2025
386
Article
A Hierarchy of Determinative Sequent Systems with Different Substitution Rules
2024
20-30
Article
On Benign Subgroups Constructed by Higman鈥檚 Sequence Building Operation
2024
1-12
Article
諒請諕猿员諉諗员諈曰諉 諙請諕諉钥諔曰员諉缘諓曰 談缘怨請源愿 缘諑 諘諍諒曰談员约請諕怨諈员諉 諍员諈談员諉諉缘諓愿
2024
18-29
Article
Knowledge retrieval and diagnostics in cloud services with large language models
2024
124736
Article
SOME BOUNDS ON THE NUMBER OF COLORS IN INTERVAL EDGE-COLORINGS OF GRAPHS
2024
57-65
Article
袦械写懈邪薪邪 写械褉械胁邪
2024
20-26
Article
CENTERS AND MEDIANS OF TREES
2024
55-56
Article
On Quantified Splitting Proof System for Propositional Calculi
2024
9-16
Article
小孝袪校袣孝校袪袧袨袝 袦袨袛袝袥袠袪袨袙袗袧袠袝 携袟蝎袣袨袙蝎啸 袣袥袗小孝袝袪袨袙
2024
35-44
Conference
On directionally differentiable selections of set-valued mappings with convex, closed graphs
2024
48-49
Conference
On polynomial solutions of PDE with constant coefficients
2024
7 - 8
Conference
Construction of a Mathematical Model and Solution of the Optimization Problem for tht Bending of a Beam of Variable Thicknes
2024
40-41
Conference
HIGMAN鈥橲 SEQUENCE-BUILDING OPERATIONS AND EMBEDDING OF RECURSIVE GROUPS
2024
1
Conference
THE LIPSCHITZ PROPERTIY OF A SET-VALUED MAPPING WITH WEAKLY CONVEX GRAPH
2024
68-69
Conference
ON CYCLIC INTERVAL COLORINGS OF GRAPHS
2024
81 - 81
Conference
ON SOME QUANTIFIED PROPOSITIONAL SYSTEM
2024
30 - 33
Conference
On constructive Higman embeddings of the groups Q and GL(n,Q) into finitely presented groups
2024
197-197
Article
THE MOORE鈥揚ENROSE INVERSE OF TRIDIAGONAL SKEW-SYMMETRIC MATRICES. I
2023
1-8