Quantifier elimination theory and maps which preserve semipositivity. - Grzegorz Pastuszak; Adam Skowyrski; Andrzej Jamiolkowski (Quantum Inf. Process., 2021)