1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 1 cited
Exact Real Search: Formalised Optimisation and Regression in Constructive Univalent Mathematics
Todd Waugh Ambridge
The real numbers are important in both mathematics and computation theory. Computationally, real numbers can be represented in several ways; most commonly using inexact floating-po…
cs.LO2020
A Constructive, Type-Theoretic Approach to Regression via Global Optimisation
Dan R. Ghica, Todd Waugh Ambridge
We examine the connections between deterministic, complete, and general global optimisation of continuous functions and a general concept of regression from the perspective of cons…