TY - RPRT TI - CaΣoS: A nonlinear sum-of-squares optimization suite AU - Torbjørn Cunis AU - Jan Olucak PY - 2024 DO - 10.23919/acc63710.2025.11107794 UR - https://arxiv.org/abs/2409.18549 ID - 2409.18549 ER -