Positive Definite Symmetric Matrix

linear-logic

Definition

Positive Definite Symmetric Matrix

Let $c$ be a non-zero vector in ${\mathbb{R}}^n$. A symmetric matrix $K$ is called positive definite if:

$$c^{T}Kc\ge 0$$