TY  - RPRT
TI  - Nonlinear Arithmetic with SMTLIB Division is Undecidable
AU  - Dejan Jovanovic
PY  - 2026
UR  - https://arxiv.org/abs/2605.26181
ID  - 2605.26181
ER  -