show/hide this revision's text 2 edited tags
show/hide this revision's text 1

Does the space of n x n, positive-definite, self-adjoint, real matrices have a better name?

This is also the space of real, symmetric bilinear forms in R^n.