Symmetric matrix
Set
context | $X$ |
context | $n\in\mathbb N$ |
definiendum | $ A \in \mathrm{SymmetricMatrix}(n,X) $ |
postulate | $ A^\mathrm{T}=A $ |
Discussion
Reference
Wikipedia: Symmetric matrix
context | $X$ |
context | $n\in\mathbb N$ |
definiendum | $ A \in \mathrm{SymmetricMatrix}(n,X) $ |
postulate | $ A^\mathrm{T}=A $ |
Wikipedia: Symmetric matrix