RUS
ENG
Full version
JOURNALS
// Doklady Akademii Nauk
// Archive
Dokl. Akad. Nauk,
1994
Volume 335,
Number 4,
Pages
427–429
(Mi dan49683)
MATHEMATICS
A computer solver of mathematical problems
A. S. Podkolzin
Lomonosov Moscow State University
UDC:
512
Presented:
V. A. Il'in
Received: 17.06.1993
Fulltext:
PDF file (337 kB)
Bibliographic databases:
©
Steklov Math. Inst. of RAS
, 2026
Fulltext:
PDF file (337 kB)