symmetric_matrix

Loading [MathJax]/jax/output/HTML-CSS/jax.js

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

Parents

Subset of

Context

Matrix transpose