TY - RPRT TI - Positivstellensätze for Semirings AU - Konrad Schmüdgen AU - Matthias Schötz PY - 2022 UR - https://arxiv.org/abs/2207.02748 ID - 2207.02748 ER -