APA (7th ed.) Citation

Ambridge, T. W. (2024). Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics.

Chicago Style (17th ed.) Citation

Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.

MLA (9th ed.) Citation

Ambridge, Todd Waugh. Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics. 2024.

Warning: These citations may not always be 100% accurate.