This article is cited in 2 papers

International conference "Modern Problems of Algebra and Analysis"
Brief communications

On computational proofs and mathematical experiments on computers

K. I. Babenko


MSC: 65D30, 65F15, 65Yxx, 68Rxx

 English version: Russian Mathematical Surveys, 1985, 40:4, 153–154

Bibliographic databases:

• 
•