基本信息
吴文渊男博导中国科学院重庆绿色智能技术研究院
电子邮件： wuwenyuan@cigit.ac.cn
通信地址： 重庆市北碚区方正大道266号
邮政编码：

研究领域

招生信息
招生专业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 作者, 专利号: 8.5
（ 2 ） 一种基于三边定位的自动闸机控制方法, 发明, 2016, 第 2 作者, 专利号: ZL 2014 1 **.5


出版信息
发表论文（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,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作者

发表著作（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 systemsWenyuan Wu, Greg Reid2013-06-28
（2）On Sparse Bivariate Polynomial Factorization第四届全国计算机数学学术会议Wenyuan Wu, JingWei Chen, Yong Feng2011-11-25
（3）Bivariate Polynomial Factorization Based on Homotopy Continuation Methods 第三届全国计算机数学学术会议Yong Feng, Wenyuan Wu, Jingzhong Zhang2010-10-19
（4）F,G,H,I Bases for Polynomial Rings and their RelationsWenyuan Wu2009-01-03
（5）Symbolic-numeric computation of implicit Riquier bases for PDEWenyuan Wu, Greg Reid2007-07-10


合作情况
项目协作单位

指导学生已指导学生
王永恒硕士研究生085210-控制工程