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
p. 67 abstract
Normalization of a Periodic Hamiltonian System
p. 76 abstract
Bifurcations of Periodic Solutions of a Hamiltonian System with a Discrete Symmetry Group
p. 84 abstract
A Modular Extension for a Computer Algebra System
p. 98 abstract
Algorithm for Constructing an Analogue of the Binet Formula
p. 105 abstract
On a Machine-Checked Proof for Fraction Arithmetic over a GCD Domain
p. 110 abstract
Construction of a Periodic Solution to the Equations of Motion of Generalized Atwood’s Machine using Computer Algebra
p. 120 abstract
Differential Geometry and Mechanics: A Source for Computer Algebra Problems
p. 126 abstract
Minimal Representations and Algebraic Relations for Single Nested Products
p. 133 abstract
Computation of Involutive and Gröbner Bases Using the Tableau Representation of Polynomials
p. 162 abstract