%0 Journal Article
%A N. N. Osipov
%T Computer assisted proofs
%J Matematičeskoe obrazovanie
%D 2020
%P 42-47
%V 94
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MO_2020_94_2_a5/
%G ru
%F MO_2020_94_2_a5