RUS  ENG
Full version
JOURNALS // Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta // Archive

2024, Volume 64


MATHEMATICS
Nagumo-type viability theorem for nonlocal balance equation
Y. V. Averboukh
3
Adaptive human–machine theorem proving system
M. Joudakizadeh, A. P. Bel'tyukov
17
Control problem for a parabolic system with disturbances and possible changes in dynamics
I. V. Izmestyev, N. D. Livanov
34
On a discrete Schrödinger equation for a quantum dot with a nonlocal potential
N. I. Korobeinikova
48
Integration of the Korteweg–de Vries type equations with a loaded term in the class of periodic functions
M. M. Matyoqubov
60
Convergence of conflict-controlled systems over a finite period of time
V. N. Ushakov, A. V. Ushakov, O. A. Kuvshinov
70
On exact observability of a nonlinear evolutionary equation with a bounded right-hand side operator on a small interval
A. V. Chernov
97
Control of a nonlinear system along a trajectory under disturbance conditions
K. A. Shchelchkov
119


© Steklov Math. Inst. of RAS, 2025