1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
吴文渊 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件： wuwenyuan@cigit.ac.cn
通信地址： 重庆市北碚区方正大道266号
邮政编码：
研究领域
招生信息

招生专业081202


招生方向数值符号计算，密码学

教育背景2003-09--2007-08 加拿大西安大略大学 应用数学博士
1999-09--2002-07 中科院研究生院（成都计算机应用研究所） 计算机科学硕士
1997-09--1999-07 北京大学 经济学学士
1995-09--1999-07 北京大学 数学理学学士


学历

学位
工作经历

工作简历2011-10~现在, 中科院重庆绿色智能技术研究院, 副研究员
2010-08~2011-10,电子科技大学, 副教授
2008-09~2010-08,美国密西根州立大学, 博士后
2007-09~2008-08,西安大略大学, 博士后
2003-09~2007-08,加拿大西安大略大学, 应用数学博士
1999-09~2002-07,中科院研究生院（成都计算机应用研究所）, 计算机科学硕士
1997-09~1999-07,北京大学, 经济学学士
1995-09~1999-07,北京大学, 数学理学学士


社会兼职
教授课程计算机代数

专利与奖励

奖励信息（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

出版信息

发表论文（1） EXACT BIVARIATE POLYNOMIAL FACTORIZATION OVER Q BY APPROXIMATION OF ROOTS, J Syst Sci Complex, 2015, 第 5 作者
（2） Sparse Bivariate Polynomial Factorization, Science China Mathematics, 2014, 第 1 作者
（3） Numerical and Geometric Properties of a Method for Finding Points on Real Solution Components, Proceedingsof SNC 14 , 2014, 第 1 作者
（4） 微分代数系统中分块快速指标约简的启发式算法, 四川大学学报工程版, 2014, 第 3 作者
（5） Two Variants of HJLS-PSLQ with Applications, Proceedings of SNC 14 , 2014, 第 3 作者
（6） Finding points on real solution components and applications to differential polynomial systems, Proceedings of ISSAC’2013, 2013, 第 1 作者
（7） 有界闭域上的线性赋值循环终止性分析., 软件学报, 2013, 第 2 作者
（8） An Efficient Algorithm to Factorize Sparse Bivariate Polynomials over the Rationals. , ACM Communications in Computer Algebra, 2012, 第 1 作者
（9） 一类非线性方程组奇异解的计算方法及其应用, 计算机应用, 2012, 第 2 作者
（10） Real Roots Isolation of Polynomial Systems based on Hybrid Computation, Proceedings of ASCM2012, 2012, 第 2 作者
（11） Structural analysis of high-index DAE for process simulation., Proceedings ofAsiasim 2012, 2012, 第 2 作者
（12） Implicit Riquier Bases for PDAE and their Discretizations., Journal of Symbolic Computation, 2009, 第 1 作者
（13） Symbolic-numeric Computation of Implicit Riquier Bases for PDE, Proceedings of ISSAC’07, 2007, 第 1 作者
（14） On Approximate Triangular Decomposition in Dimension Zero, Journal of Symbolic Computation, 2007, 第 4 作者
（15） Application of Numerical Algebraic Geometry and Numerical Linear Algebra to PDE, Proceedings of ISSAC’06, 2006, 第 1 作者
（16） Symbolic-Numeric Completion of Differential Systems by Homotopy Continuation, Proceedings of ISSAC’05, 2005, 第 5 作者
（17） Lifting techniques for triangular decompositions, Proceedings of ISSAC 05 , 2005, 第 4 作者
（18） Petri网系统的可达性分析, 系统仿真学报, 2005, 第 1 作者


发表著作（ 1 ）Approximate Commutative Algebra, 2.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


参与会议（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 FactorizationBased 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

合作情况

项目协作单位
指导学生