Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models R. I. Podlovchenko OriginalPaper 24 May 2014 Pages: 107 - 116
Monads for the formalization of a pattern matching procedure A. V. Zhozhikashvili OriginalPaper 24 May 2014 Pages: 117 - 127
Program auto parallelizer and vectorizer implemented on the basis of the universal translation library and LLVM technology A. Yu. DrozdovS. V. NovikovP. V. Il’in OriginalPaper 24 May 2014 Pages: 128 - 138
Symbolic and numerical analysis of the restricted five body problem using computer algebra D. A. BudzkoS. A. Shcherba OriginalPaper 24 May 2014 Pages: 139 - 142
Symbolic-numerical methods of studying equilibrium positions of a gyrostat satellite S. A. GutnikV. A. Sarychev Computer Algebra 24 May 2014 Pages: 143 - 150
Darboux transformations for factorable Laplace operators Ekaterina Shemyakova Computer Algebra 24 May 2014 Pages: 151 - 157