TY  - JOUR
AU  - K. I. Babenko
TI  - On computational proofs and mathematical experiments on computers
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1985
SP  - 153
EP  - 154
VL  - 40
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1985_40_4_a19/
LA  - en
ID  - RM_1985_40_4_a19
ER  -