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

Дан обзор алгоритмов для проверки матричного свойства знакоопределенности относительно подпространства, заданного системой линейных уравнений. Обсуждаются компьютерно-алгебраические процедуры, реализующие указанные алгоритмы, и результаты численных экспериментов с этими процедурами.