Efficient Exact Arithmetic over Constructive Reals [chapter]

Yong Li, Jun-Hai Yong
Lecture Notes in Computer Science  
doi:10.1007/978-3-540-72504-6_40 dblp:conf/tamc/LiY07 fatcat:anx6axnklbgpzfpnkho2ycxufy