Axiomatic Reals and Certified Efficient Exact Real Computation.

Michal Konecn, Sewon Park, Holger Thies

Browse the full WoLLIC paper archive.