中国科学院数学与系统科学研究院期刊网
Logcf: An Efficient Tool for Real Root Isolation
DAI Liyun,FAN Zhe,XIA Bican,ZHANG Hanwen
Logcf: An Efficient Tool for Real Root Isolation
DAI Liyun,FAN Zhe,XIA Bican,ZHANG Hanwen
Journal of Systems Science and Complexity . 2019, (6): 1767 -1782 .  DOI: 10.1007/s11424-019-7361-7