Supported by the National Natural Science Foundation of China under Grant Nos.90718041, 10901116, 11001228 (国家自然科学基金); the National Basic Research Program of China under Grant No.2004CB318003 (国家重点基础研究发展计划(973)); the Knowledge Innovation Program of the Chinese Academy of Sciences under Grant No.KJCX2-YW-S02 (中国科学院知识创新工程); the Open Project of Shanghai Key Laboratory of Trustworthy Computing of China under Grant No.07dz22304200801 (上海市高可信计算重点实验室开放课题)
姚勇.区间上非线性程序的终止性判定.软件学报,2010,21(12):3116-3123
复制