The Fan-Pall Imbedding Theorem over Formally Real Fields
The converse of the Cauchy interlacing theorem, relating eigenvalues of a symmetric real matrix and eigenvalues of a principal submatrix, first proved by Fan and Pall, is extended to the case of symmetric matrices with entries in an arbitrary formally real field. © 1995, Taylor & Francis Group, LLC. All rights reserved.
Publication Source (Journal or Book title)
Linear and Multilinear Algebra
Adkins, W. (1995). The Fan-Pall Imbedding Theorem over Formally Real Fields. Linear and Multilinear Algebra, 39 (3), 273-278. https://doi.org/10.1080/03081089508818401