iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/tamc/LiY07.xml
Yong Li Jun-Hai Yong Efficient Exact Arithmetic over Constructive Reals. 440-449 2007 conf/tamc/2007 TAMC https://doi.org/10.1007/978-3-540-72504-6_40 db/conf/tamc/tamc2007.html#LiY07