Theorem proving in a mathematical information environment Yu. V. KapitonovaA. A. Letichevskii OriginalPaper Pages: 481 - 488
High-accuracy discretization algorithms for problems with discontinuous solutions I. V. SergienkoV. S. DeinekaV. V. Skopetskii OriginalPaper Pages: 489 - 505
Issues of algorithmics and glushkov’s systems of algorithmic algebras E. L. YushchenkoG. E. Tseitlin OriginalPaper Pages: 532 - 539
Predicting the reliability of algorithmic processes with fuzzy input data A. P. RotshteinS. D. Shtovba OriginalPaper Pages: 545 - 552
Nonstationary law of large numbers for dependent random variables and its application in stochastic optimization Yu. M. Ermol’evV. I. Norkin OriginalPaper Pages: 553 - 563
Role of redundant constraints for improving dual bounds in polynomial optimization problems N. Z. Shor OriginalPaper Pages: 564 - 576
Mixed method for solving the general convex programming problem B. N. PshenichnyiÉ. I. NenakhovV. N. Kuz’menko OriginalPaper Pages: 577 - 587
Reducing the phase space of a stochastic process in system reliability analysis I. N. KovalenkoA. BiroliniM. Schoenbucher OriginalPaper Pages: 588 - 595
Stability conditions for the vector path problem in lexicographic discrete optimization V. A. EmelichevR. A. Berdysheva OriginalPaper Pages: 596 - 602
Informational uncertainty and optimal choice V. V. MoiseenkoV. V. Yatskevich OriginalPaper Pages: 603 - 608
Formal methods in computer technologies I. V. SergienkoI. N. ParasyukA. I. Provotar OriginalPaper Pages: 609 - 615