A non-commutative real Nullstellensatz and Hilbert's 17th problem
scientific article; zbMATH DE number 3540972