Global Optimisation with Constructive Reals.

Dan R. Ghica, Todd Waugh Ambridge

Browse the full LICS paper archive.