Contents

Programming and Computer Software

---

Vol. 46, No. 2, 2020

---

Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series

S. A. Abramov, A. A. Ryabenko and D. E. Khmelnov p. 67  abstract

Normalization of a Periodic Hamiltonian System

A. D. Bruno p. 76  abstract

Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group

A. B. Batkhin p. 84  abstract

A Modular Extension for a Computer Algebra System

M. N. Gevorkyan, A. V. Korolkova, D. S. Kulyabov and L. A. Sevast’yanov p. 98  abstract

Algorithm for Constructing an Analogue of the Binet Formula

V. I. Kuzovatov, A. A. Kytmanov and O. I. Kuzovatova p. 105  abstract

On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain

S. D. Meshveliani p. 110  abstract

Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra

A. N. Prokopenya p. 120  abstract

Differential Geometry and Mechanics: A Source for Computer Algebra Problems

V. N. Salnikov and A. Hamdouni p. 126  abstract

Minimal Representations and Algebraic Relations for Single Nested Products

Carsten Schneider p. 133  abstract

Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials

D. A. Yanovich p. 162  abstract

---