%0 Journal Article
%A A. S. Podkolzin
%T A computer solver of mathematical problems
%J Doklady Akademii Nauk
%D 1994
%P 427-429
%V 335
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1994_335_4_a6/
%G ru
%F DAN_1994_335_4_a6