Stack Exchange network consists of 178 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Is there a specific name for matrices with nonsingular principal submatrices?
I've heard them called "strongly nonsingular matrices" in numerical linear algebra. Google that and you'll find some literature.
"matrices with Gauss decomposition" is the shortest thing that comes to mind. I mean other than $B_-TB_+$.
Required, but never shown