Volume 38, Number 1, January 2012
Volume 38, Number 2, March 2012
Mikhail V. Zinin
: BIBasis, a package for reduce and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases.
: Laplace transformations as the only degenerate Darboux transformations of first order.
Volume 38, Number 3, June 2012
: A new double sorting-based node splitting algorithm for R-tree.
E. I. Ganzha
: On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol.
Alexander N. Prokopenya
: Hamiltonian normalization in the restricted many-body problem by computer algebra methods.
Volume 38, Number 4, July 2012
Volume 38, Number 5, September 2012
Denis V. Silakov
: The use of hardware virtualization in the context of information security.
Volume 38, Number 6, November 2012
Natalya Olegovna Garanina
: Exponential improvement of time complexity of model checking for multiagent systems with perfect recall.
Elena N. Bozhenkova
: Composition methods for constructing characteristic formulas for dense-time models.
Leonid A. Kalinichenko
: Effective support of databases with ontological dependencies: Relational languages instead of description logics.