Programming and Computer Software

47	--	57	V. V. Galkin. Termination of the F5 algorithm
58	--	62	S. V. Paramonov. Checking existence of solutions of partial differential equations in the fields of Laurent series
63	--	70	O. V. Kaptsov. Systems of generators for ideals of algebra of convergent differential series
71	--	78	N. N. Osipov. Mechanical proof of planimetric theorems of rational type
79	--	85	Alexander N. Prokopenya, M. Zh. Minglibayev, G. M. Mayemerova. Symbolic calculations in studying the problem of three bodies with variable masses
86	--	92	V. M. Red'kov, A. V. Chichurin. A symbolic-numerical method for solving the differential equation describing the states of polarizable particle in Coulomb potential
93	--	97	M. I. Baranov. Local improvements of lower bounds for valuations of solutions of linear difference systems with meromorphic coefficients
98	--	106	Sergei A. Abramov, Denis E. Khmelnov. Regular solutions of linear differential systems with power series coefficients

External Links