Conference
On the explicit analogue of the Higman Embedding Theorem for recursive groups
2025
191 - 191
Publications
Study manual
钥崭沾蘸宅榨謩战 謨崭謨崭窄铡寨铡斩斋 謫崭謧斩寨謥斋铡斩榨謤斋 湛榨战崭謧诈盏铡斩 窄斩栅斋謤斩榨謤 謬 站铡謤摘崭謧诈盏崭謧斩斩榨謤
2025
156
Study manual
袥械泻褑懈懈 锌芯 锌褉械写屑械褌褍 "袦邪褌械屑邪褌懈褔械褋泻邪褟 谢芯谐懈泻邪"
2025
120
Study manual
談铡诈榨沾铡湛斋寨铡寨铡斩 湛謤铡沾铡闸铡斩崭謧诈盏崭謧斩
2025
114
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
Article
Novel Entropy for Enhanced Thermal Imaging and Uncertainty Quantification
2024
374
Article
Enhancing Thermal Image Classification with Novel Quality Metric-Based Augmentation Techniques
2024
112鈥125
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