A. P. Ershov and M. R. Shura-bura, Development of programming in USSR. Part 1. Initial development. Part 2 Step to second generation of languages and computers. -Preprints ? 12, pp.141-160, 1976.

*. Miola, A. M. Pottosin, and I. V. , -A bibliography of soviet works in algebraic manipulations, -SIGSAM Bull, vol.15, issue.1, pp.5-7, 1981.
URL : https://hal.archives-ouvertes.fr/hal-00010527

M. V. Grosheva, G. B. Efimov, and V. A. Brumberg, Computer analytical calculation systems (Applied Analytical Packages) Papers Seminar in Mechanics Institute of MSU, Informator. Keldysh Institute of Applied Mathematics AS USSR, 1981.

M. V. Grosheva and G. B. Efimov, Computer analytical calculation systems. -In: Applied programs packages, Analytical manipulations. M., Nauka, pp.5-30, 1988.

*. Brumberg, V. A. Tarasevich, S. V. Vasiliev, and N. N. , Specialized Celestial Mechanics systems for Symbolic Manipulations. -Celestial Mech, pp.45-145, 1988.
DOI : 10.1007/bf01228996

D. M. Klimov and V. M. Rudenko, Computer Algebra Methods in Mechanical problems, Nauka, vol.215, 1989.

S. A. Abramov, E. B. Zima, and V. A. Rostovzev, Computer Algebra. -Programirovanie, pp.4-25, 1992.

M. V. Grosheva, G. B. Efimov, and V. A. Samsonov, Symbolic Manipulations in Control Theory. -Izvestiya Akademii Nauk. The Control Theory & Systems, pp.80-91, 1998.

M. V. Grosheva, G. B. Efimov, and V. A. Samsonov, A History of Computer Symbolic Manipulation and its Applications in Mechanics, -Keldysh Institute of Applied Mathematics of RAS. M, vol.87, p.pp, 2005.

A. A. Dorodnitcin, Solution of mathematical and logical tasks on computer. -All-Union Confer. Moscow, 12-17 march 1956. Plenary reports, 1956.

D. E. Okhotsimsky, Research of motion in central field of forces under the influence of constant tangent acceleration. -Cosmic Research, pp.817-842, 1964.

L. Kantorovich, L. V. Kantorovich, and L. T. Petrova, On a mathematical symbolic system convenient for computer's calculations, Pervozvanskaya T.N. -Ibid.; Smirnova T.N. Polynomial PRORAB. -L., Nauka, pp.738-739, 1957.

A. A. Stogny, Solution on DCM of one task concerning differentiation of functions, Problems of Cybernetic. M., Nauka, pp.189-200, 1962.

V. A. Shurygin and N. N. Yanenko, On a realization of algebraic differential algorithms on ECM, Problems of Cybernetic. M., Nauka, pp.33-43, 1961.

V. A. Brumberg, N. G. Polozova, V. A. Shor, and . In, Polynomial Series in Three Bodies Problem 234-256; Brumberg V.A. Presentation of Planet's coordinates by trigonometric series, ITA AS USSR). L. Problems of motion of artificial Spacecrafts of Celestial bodies. -M, pp.3-88, 1963.

V. K. Kabulov, V. A. Tolok, and . In, On deduce of differential equations of elasticity and construction mechanics, Kabulov V.K. Algorithmization in elasticity and deformational plasticity theory. -?Fan? AS UsbekSSR, 1963.

V. F. Turchin, 2. Metaalgortmic-language, V. F. Turchin, and V. I. Serdobolsky, The REFAL and its application for transformations of algebraic expressions. -Cybernetika, Turchin V.F. Programming on REFAL. -KIAM Preprint P?MaT, vol.4, issue.43, pp.45-54, 1968.

*. Turchin and V. F. , Refal-5, Programming Guide and Reference Manual, 1989.

I. B. Zadyhaylo, S. S. Kamynin, and E. Z. Lyubimsky, Some problems of Computer design from blocks of high qualification, -KIAM Preprint. M, 1971.

*. Myamlin, A. N. Smirnov, V. K. Golovkov, and S. L. , A Specialized Symbol Processor. - Fifth Generation Architecture, Ed. By J, 1980.

V. K. Smirnov, Hardware REFAL realization at KIAM. -KIAM Preprint N 99, 2003.

A. V. Zabrodin, Super-Computers MVS-100, MVS-1000 and its applications to problems of physics and mechanics problems. -Mathematical Simulation, pp.61-66, 2000.

*. Bruno, A. D. Varin, and V. P. , The limit problems for equation of oscillations of a satellite. - Celestial Mechan. and Dynam. Astron, ? KIAM Preprint N, vol.124, issue.128, 1995.

A. S. Kuleshov, First Integrals of Equations of Motion of a Heavy Rotational Symmetric Body on a Perfectly Rough Plane, 2002.
DOI : 10.1007/978-1-4020-5981-0_11

*. Niukkanen, A. W. Shchenkov, and I. B. , Operator factorization technique of formula derivation in the theory of simple and multiple hyper-geometric functions of one and several variables. -KIAM Preprint N 81, 2003. A project of a globally universal interactive program of formula derivation based on operator factorization method, 2003.

*. Pogorelov and D. Yu, Some developments in computational techniques in modeling advanced mechanical systems. -Sympos. on Interaction betw. Dyn. & Control in Adv, Pogorelov D.Yu. Differential-algebraic equations in multi-body system modeling. -Numerical Algorithms. V. 19, pp.313-320, 1988.
DOI : 10.1007/978-94-011-5778-0_38

I. R. Belousov, I. Balaban, . Yu, G. K. Borovin, and V. V. Sazonov, Calculation of the Robot Manipulator Dynamic Equation. -KIAM Preprint N 45 The language for programming right-hand sides of mechanical system motion equations, 1998.