An elementary and constructive solution to Hilbert's 17th Problem for matrices

Christopher J. Hillar, Jiawang Nie

We give a short and elementary proof of a theorem of Procesi, Schacher and (independently) Gondard, Ribenboim that generalizes a famous result of Artin. Let $A$ be an $n\times n$…