%0 Journal Article %A A. F. Filippov %T Using a computer to obtain strict bounds on solutions of differential equations %J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki %D 1991 %P 994-1005 %V 31 %N 7 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZVMMF_1991_31_7_a5/ %G ru %F ZVMMF_1991_31_7_a5