Расширение линейно-алгебраических возможностей систем компьютерной алгебры диссертация