%0 Journal Article %A V. T. Muratalieva %T Algorithms for proving theorems on linear %J Matematičeskoe obrazovanie %D 2018 %P 52-55 %V 85 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/MO_2018_85_1_a6/ %G ru %F MO_2018_85_1_a6