TY  - RPRT
TI  - Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
AU  - Todd Waugh Ambridge
PY  - 2024
UR  - https://arxiv.org/abs/2401.09270
ID  - 2401.09270
ER  -