Procedures for Searching Laurent and Regular Solutions of Linear Differential Equations with the Coefficients in the Form of Truncated Power Series S. A. AbramovA. A. RyabenkoD. E. Khmelnov OriginalPaper 18 April 2020 Pages: 67 - 75
Normalization of a Periodic Hamiltonian System A. D. Bruno OriginalPaper 18 April 2020 Pages: 76 - 83
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group A. B. Batkhin OriginalPaper 18 April 2020 Pages: 84 - 97
A Modular Extension for a Computer Algebra System M. N. GevorkyanA. V. KorolkovaL. A. Sevast’yanov OriginalPaper 18 April 2020 Pages: 98 - 104
Algorithm for Constructing an Analogue of the Binet Formula V. I. KuzovatovA. A. KytmanovO. I. Kuzovatova OriginalPaper 18 April 2020 Pages: 105 - 109
On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain S. D. Meshveliani OriginalPaper 18 April 2020 Pages: 110 - 119
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra A. N. Prokopenya OriginalPaper 18 April 2020 Pages: 120 - 125
Differential Geometry and Mechanics: A Source for Computer Algebra Problems V. N. SalnikovA. Hamdouni OriginalPaper 18 April 2020 Pages: 126 - 132
Minimal Representations and Algebraic Relations for Single Nested Products Carsten Schneider OriginalPaper 18 April 2020 Pages: 133 - 161
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials D. A. Yanovich OriginalPaper 18 April 2020 Pages: 162 - 166