Efficient Exact Arithmetic over Constructive Reals.

Yong Li, Jun-Hai Yong

Browse the full TAMC paper archive.