Computer algebra procedures for verifying the definiteness of a matrix on a subspace

From MaRDI portal
Publication:5932896