TY - RPRT TI - Quantifier elimination theory and maps which preserve semipositivity AU - Grzegorz Pastuszak AU - Adam Skowyrski AU - Andrzej JamioĊ‚kowski PY - 2020 UR - https://arxiv.org/abs/2003.09081 ID - 2003.09081 ER -