RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

2016, Issue 4


Theoretical Foundations of Computer Science
Modeling arithmetic in the first-order language enriched with temporal quantifiers
E. A. Kotikova, M. N. Rybakov
5
Effective algorithm for construction of terms of minimum computational complexity
D. O. Daderkin
21

Mathematical Modelling, Numerical Methods and Software Systems
Change of the integral characteristics of the fluid flow in the axial vortex heat generator
V. I. Klimok
35
Computation features for Mathieu functions of arbitrary orders
A. N. Belov, V. V. Turovtsev, Yu. D. Orlov
45
Circular orbits around gravitating configurations of phantom scalar fields
V. V. Nikonov, I. M. Potashov, A. N. Tsirulev, Yu. V. Tchemarina
61

System Analysis, Control and Data Processing
Optimal reinsurance in the model with several risks within one insurance policy
A. A. Muromskaya
79


© Steklov Math. Inst. of RAS, 2025