Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski, “On maps which preserve semipositivity and quantifier elimination theory for real numbers”, Commun. Contemp. Math., 24, № 02, 2022, 2050092
Michael Tsatsomeros, “A criterion for the existence of common invariant subspaces of matrices”, Linear Algebra and its Applications, 322, № 1-3, 2001, 51
Grzegorz Pastuszak, Adam Skowyrski, Andrzej Jamiołkowski, “Quantifier elimination theory and maps which preserve semipositivity”, Quantum Inf Process, 20, № 3, 2021, 123