%0 Journal Article
%A S. I. Martynenko
%T Formalization of Computations at Numerical Solution of Boundary Value Problems
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2008
%P 76-90
%V 150
%N 1
%U http://geodesic.mathdoc.fr/item/UZKU_2008_150_1_a7/
%G ru
%F UZKU_2008_150_1_a7