Formalizing Hyperspaces for Extracting Efficient Exact Real Computation.

Michal Konecn, Sewon Park, Holger Thies

Browse the full MFCS paper archive.