个人简介
招生专业
081202-计算机软件与理论
招生方向
数值符号计算，密码学
人工智能，自动推理
教育背景
2003-09--2007-08 加拿大西安大略大学 应用数学博士
1999-09--2002-07 中科院研究生院（成都计算机应用研究所） 计算机科学硕士
1997-09--1999-07 北京大学 经济学学士
1995-09--1999-07 北京大学 数学理学学士
工作简历
2017-01~现在, 中科院重庆绿色智能技术研究院, 研究员
2011-10~2016-12,中科院重庆绿色智能技术研究院, 副研究员
2010-08~2011-10,电子科技大学, 副教授
2008-09~2010-08,美国密西根州立大学, 博士后
2007-09~2008-08,西安大略大学, 博士后
教授课程
计算机代数
奖励信息
（1） 国家优秀自费留学生奖, , 国家级, 2006
（2） General Membership of IMA, , 国家级, 2006
（3） Western Graduate Thesis Research Award, , 研究所（学校）, 2006
（4） ACM 最佳学生论文奖, , 专项, 2005
（5） 最佳poster奖, , 其他, 2005
（6） PhD Entrance Research Award, , 研究所（学校）, 2004
专利成果
（ 1 ） 一种基于最小结构奇异子集的分块快速延展方法, 发明, 2013, 第 3 作者, 专利号: 201310528908.5
（ 2 ） 一种基于三边定位的自动闸机控制方法, 发明, 2016, 第 2 作者, 专利号: ZL 2014 1 0447404.5
发表著作
（1） Approximate Commutative Algebra, Geometric Involutive Bases and their Applications to the Numerical Computation of Groebner Bases, Springer, 2010-05, 第 3 作者
（2） Approximate Commutative Algebra, Towards Geometric Completion of Differential Systems by Points, Springer, 2010-05, 第 1 作者
科研项目
（ 1 ） 基于同伦方法的代数方程并行计算的理论、实现及其应用, 主持, 国家级, 2011-01--2013-12
（ 2 ） 基于同伦方法的复杂工业产品MBD建模优化平台开发, 主持, 国家级, 2012-01--2014-12
（ 3 ） 基于数值方法的有理数域上准确多元多项式因式分解, 参与, 国家级, 2012-01--2015-12
（ 4 ） 基于计算机推理的多领域统一工业模型技术, 参与, 省级, 2012-01--2014-12
（ 5 ） 零误差算法在欧几里得格和密码学中的应用, 参与, 省级, 2014-11--2017-12
（ 6 ） 微分代数方程中的误差可控计算理论与算法, 主持, 国家级, 2015-01--2018-12
（ 7 ） 实代数方程中的零误差计算理论及其应用, 主持, 部委级, 2016-10--2021-09
参与会议
（1）Finding points on real solution components and applications to differential polynomial systems Wenyuan Wu, Greg Reid 2013-06-28
（2）On Sparse Bivariate Polynomial Factorization 第四届全国计算机数学学术会议 Wenyuan Wu, JingWei Chen, Yong Feng 2011-11-25
（3）Bivariate Polynomial Factorization Based on Homotopy Continuation Methods 第三届全国计算机数学学术会议 Yong Feng, Wenyuan Wu, Jingzhong Zhang 2010-10-19
（4）F,G,H,I Bases for Polynomial Rings and their Relations Wenyuan Wu 2009-01-03
（5）Symbolic-numeric computation of implicit Riquier bases for PDE Wenyuan Wu, Greg Reid 2007-07-10
近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
（1） Computing Real Witness Points of Positive Dimensional Polynomial Systems, Theoretical computer science, 2016, 第 1 作者
（2） The Numerical Factorization of Polynomials, Foundations of Computational Mathematics, 2016, 第 1 作者
（3） A numerical method for computing border curves of bi-parametric real polynomial systems and applications., Lecture Notes in Computer Science. Springer, 2016, 通讯作者
（4） ） A numerical method for analyzing the stability of biparametric biological systems, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016, 通讯作者
（5） 一种识别关联维数无标度区间的新方法, 物理学报, 2015, 第 3 作者
（6） 太阳高纬和低纬活动现象的混沌与分形特征, 物理学报, 2015, 第 3 作者
（7） 有效保留模型特征的自适应分层算法, 计算机应用, 2015, 第 3 作者
（8） 多分支单变量循环程序的终止性分析, 软件学报, 2015, 第 3 作者
（9） STL 文件的法向量错误修复, 计算机应用研究, 2015, 第 3 作者
（10） Termination of initialized two variable homogeneous linear loops, ICSESS 2015, 2015, 第 3 作者
（11） EXACT BIVARIATE POLYNOMIAL FACTORIZATION OVER Q BY APPROXIMATION OF ROOTS_x005f, J Syst Sci Complex, 2015, 通讯作者
（12） Sparse Bivariate Polynomial Factorization, Science China Mathematics, 2014, 第 1 作者
（13） Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components, Proceedings of SNC 14 , 2014, 第 1 作者
（14） 微分代数系统中分块快速指标约简的启发式算法, 四川大学学报工程版, 2014, 第 3 作者
（15） Two Variants of HJLS-PSLQ with Applications, Proceedings of SNC 14 , 2014, 第 3 作者
（16） Finding points on real solution components and applications to differential polynomial systems, Proceedings of ISSAC’2013, 2013, 第 1 作者
（17） 有界闭域上的线性赋值循环终止性分析., 软件学报, 2013, 第 2 作者
（18） An Efficient Algorithm to Factorize Sparse Bivariate Polynomials over the Rationals. , ACM Communications in Computer Algebra, 2012, 第 1 作者
（19） 一类非线性方程组奇异解的计算方法及其应用, 计算机应用, 2012, 第 2 作者
（20） Real Roots Isolation of Polynomial Systems based on Hybrid Computation, Proceedings of ASCM2012, 2012, 第 2 作者
（21） Structural analysis of high-index DAE for process simulation., Proceedings of Asiasim 2012, 2012, 第 2 作者
（22） Implicit Riquier Bases for PDAE and their Discretizations., Journal of Symbolic Computation, 2009, 第 1 作者
（23） Symbolic-numeric Computation of Implicit Riquier Bases for PDE, Proceedings of ISSAC’07, 2007, 第 1 作者
（24） On Approximate Triangular Decomposition in Dimension Zero, Journal of Symbolic Computation , 2007, 第 4 作者
（25） Application of Numerical Algebraic Geometry and Numerical Linear Algebra to PDE, Proceedings of ISSAC’06, 2006, 第 1 作者
（26） Symbolic-Numeric Completion of Differential Systems by Homotopy Continuation, Proceedings of ISSAC’05, 2005, 通讯作者
（27） Lifting techniques for triangular decompositions, Proceedings of ISSAC 05 , 2005, 第 4 作者
（28） Petri网系统的可达性分析, 系统仿真学报, 2005, 第 1 作者
京公网安备 11010802027423号