李轶(1980-),男,重庆人,博士,副研究员,CCF专业会员,主要研究领域为程序验证,符号计算;冯勇(1965-),男,博士,研究员,博士生导师,主要研究领域为数值混合计算;蔡天训(1993-),男,工程师,主要研究领域为程序验证,嵌入式系统;吴文渊(1976-),男,博士,研究员,主要研究领域为同伦计算.樊建峰(1993-),男,硕士生,CCF学生会员,主要研究领域为程序验证,区块链.
李轶,E-mail:zm_liyi@163.com
TP301
国家自然科学基金(61572024,61103110,11471307)
National Natural Science Foundation of China (61572024, 61103110, 11471307)
李轶,蔡天训,樊建峰,吴文渊,冯勇.基于SVM的多项式循环程序秩函数生成.软件学报,2019,30(7):1903-1915
复制