Studies of Regular Precessions of a Symmetric Satellite by Means of Computer Algebra. - Ivan I. Shevchenko; Andrej G. Sokolsky (ISSAC, 1993)

Algorithms of numeric deduction of analytical expressions. - Ivan I. Shevchenko; Nikolay N. Vasiliev (SIGSAM Bull., 1993)

Numeric Deduction in Symbolic Computation. Application to Normalizing Transformations. - Ivan I. Shevchenko (J. Symb. Comput., 1997)

Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points. - Ivan I. Shevchenko (Comput. Phys. Commun., 2008)

Kepler map. - José Lages; Dima Shepelyansky; Ivan I. Shevchenko (Scholarpedia, 2018)

Massive evaluation and analysis of Poincaré recurrences on grids of initial data: A tool to map chaotic diffusion. - Ivan I. Shevchenko; Guillaume Rollin; Alexander V. Melnikov; José Lages (Comput. Phys. Commun., 2020)