Ambridge, T. W. (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics.
Citazione stile Chigago Style (17a edizione)Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.
Citatione MLA (9a ed.)Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.