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