Конкретизация K-языка для задач линейной алгебры

В статье изложена конкретизация K-языка, предназначенная для некоторого класса линейно-алгебраических задач, т.е., по существу, предложена некоторая система стандартных алгорифмов, достаточно часто используемых в задачах этого класса.
Библ. 2 назв., табл. 1.