李轶(1980-),男,重庆人,博士,副研究员,CCF专业会员,主要研究领域为程序验证,符号计算;冯勇(1965-),男,博士,研究员,博士生导师,CCF专业会员,主要研究领域为符号数值计算.
李轶,E-mail:zm_liyi@163.com
TP301
国家自然科学基金(61572024,61103110,11671377);重庆市自然科学基金(cstc2019jcyj-msxmX0638)
National Natural Science Foundation of China (61572024, 61103110, 11671377); Natural Science Foundation of Chongqing (cstc2019jcyj-msxmX0638)
李轶,冯勇.多项式循环程序的秩函数探测.软件学报,2019,30(11):3243-3258
复制