Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1994_335_4_a6, author = {A. S. Podkolzin}, title = {A computer solver of mathematical problems}, journal = {Doklady Akademii Nauk}, pages = {427--429}, publisher = {mathdoc}, volume = {335}, number = {4}, year = {1994}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1994_335_4_a6/} }
A. S. Podkolzin. A computer solver of mathematical problems. Doklady Akademii Nauk, Tome 335 (1994) no. 4, pp. 427-429. http://geodesic.mathdoc.fr/item/DAN_1994_335_4_a6/