TY  - RPRT
TI  - MCSAT Modulo Transcendental Arithmetics
AU  - Jorge Gallego-Hernández
AU  - Enrico Lipparini
AU  - Alessio Mansutti
PY  - 2026
UR  - https://arxiv.org/abs/2606.00697
ID  - 2606.00697
ER  -