基本信息
吴文渊  男  博导  中国科学院重庆绿色智能技术研究院
电子邮件: 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 作者, 专利号: 201310528908.5
( 2 ) 一种基于三边定位的自动闸机控制方法, 发明, 2016, 第 2 作者, 专利号: ZL 2014 1 0447404.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 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

合作情况

   
项目协作单位
   

指导学生

已指导学生

王永恒  硕士研究生  085210-控制工程