Ambridge, T. W. (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics.
Style de citation Chicago (17e éd.)Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.
Style de citation MLA (9e éd.)Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.