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] 陈经纬, 杨文强, 吴文渊, 冯勇. 基于同态加密的无交互朴素贝叶斯分类方法. CN202111335853.7, 2022-02-11.

[2] 吴文渊, 钱心缘, 杨文强. 一种基于格与基本访问树的CP-ABE方法. CN: CN112291053A, 2021-01-29.

[3] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法. CN: [[[CN111698081A]]], [[["2020-09-22"]]].

[4] 吴文渊, 郑嘉彤, 杨文强. 一种基于模容错学习问题的双向可否认加密方法. CN: CN110266479A, 2019-09-20.

[5] 吴文渊, 郑嘉彤, 杨文强. 一种基于容错学习问题的发送方可否认加密方法. CN: CN109450635A, 2019-03-08.

[6] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控技术. CN: CN109547408A, 2019-03-29.

[7] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控方法. CN: CN109547408B, 2020-11-20.

[8] 吴文渊, 柯程松, 杨文强. 一种基于模容错学习问题的同态內积方法. CN: CN108923907A, 2018-11-30.

[9] 吴文渊, 柯程松, 杨文强. 一种基于模容错学习问题的同态内积方法. CN: CN108923907B, 2021-01-29.

[10] 吴文渊, 柯程松, 陈经纬, 杨文强. 多项式点表示的低膨胀率的抗量子攻击的文件加解密方法. CN: CN107682140A, 2018-02-09.

[11] 李轶, 杨文强, 李传璨, 朱广, 吴文渊, 冯勇. 一类有界闭连通域上的循环程序终止性判断方法. CN: CN104750613A, 2015-07-01.

[12] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法. CN: CN104751476A, 2015-07-01.

[13] 杨文强, 吴文渊, 刘江, 陈经纬. 一种基于三边定位的自动闸机控制系统及其控制方法. CN: CN104200552A, 2014-12-10.

[14] 周双, 冯勇, 吴文渊, 杨文强. 一种模糊C均值聚类小数据量识别混沌的方法. CN: CN104156768A, 2014-11-19.

[15] 高御尧, 石明全, 张鹏, 吴文渊, 李轶, 杨文强, 王正江. 一种公交线路OD矩阵的代数组合预测方法. CN: CN116415735A, 2023-07-11.

[16] 吴文渊, 吕由, 杨文强. 一种基于同态加密的隐私保护岭回归方法. CN: CN115150055A, 2022-10-04.

[17] 吴文渊, 郭春彤, 杨文强. 一种基于MLWE和MSIS的可验证解密方法. CN: CN115150094A, 2022-10-04.

[18] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法. CN: CN111698081B, 2023-05-02.

[19] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控技术. CN: CN109547408A, 2019-03-29.

   

[1] 计算机科学. 2024,   通讯作者  
[2] ACISP 2024. 2024,   通讯作者  
[3] ISBRA 2024. 2024,   通讯作者  
[4] Briefings in Bioinformatics. 2024,   通讯作者  
[5] 吕由, 吴文渊. 两方参与的隐私保护岭回归方案与应用. 密码学报[J]. 2023, 第 2 作者  通讯作者  10(2): 276-288, 
[6] 陆星缘, 陈经纬, 冯勇, 吴文渊. 基于同态加密的隐私保护数据分类协议. 计算机科学[J]. 2023, 第 4 作者50(8): 321-332, http://lib.cqvip.com/Qikan/Article/Detail?id=7110154854.
[7] 吕由, 吴文渊. 隐私保护线性回归方案与应用. 计算机科学[J]. 2022, 第 2 作者49(9): 318-325, http://lib.cqvip.com/Qikan/Article/Detail?id=7107990821.
[8] 吕由, 吴文渊. 基于同态加密的线性系统求解方案. 计算机科学[J]. 2022, 第 2 作者49(3): 338-345, http://lib.cqvip.com/Qikan/Article/Detail?id=7106717154.
[9] 杨文强, 吴文渊, 陈经纬, 冯勇. 仿真系统中DAE求解技术现状. 包装工程[J]. 2022, 第 2 作者43(8): 18-27, http://lib.cqvip.com/Qikan/Article/Detail?id=7107008545.
[10] 陈经纬, 冯勇, 刘洋, 吴文渊, 杨观赐. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. Proc. SPNCE '21. 2022, 第 4 作者
[11] Wang, Shijie, Wu, Wenyuan, Lu, Junjie, She, Zhikun. Inner-approximating domains of attraction for discrete-time switched systems via Multi-step multiple Lyapunov-like functions. NONLINEAR ANALYSIS-HYBRID SYSTEMS[J]. 2021, 第 2 作者40: http://dx.doi.org/10.1016/j.nahs.2020.100993.
[12] Shen, Liyong, Wu, Wenyuan. Foreword to the Special Topic. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 第 2 作者34(1): 1-2, https://www.webofscience.com/wos/woscc/full-record/WOS:000614434900001.
[13] 郑嘉彤, 吴文渊. 基于MLWE的双向可否认加密方案. 计算机科学[J]. 2021, 第 2 作者48(3): 307-312, http://lib.cqvip.com/Qikan/Article/Detail?id=7103984880.
[14] 钱心缘, 吴文渊. 基于R-SIS和R-LWE构建的IBE加密方案. 计算机科学[J]. 2021, 第 2 作者48(6): 315-323, http://lib.cqvip.com/Qikan/Article/Detail?id=7104825458.
[15] 冯勇, 陈经纬, 吴文渊. 零误差计算. 中国科学:数学[J]. 2021, 第 3 作者51(1): 3-16, 
[16] 吴文渊, 郑嘉彤, 冯勇. 基于LWE问题的发送方可否认公钥加密方案. 工程科学与技术[J]. 2020, 第 1 作者52(2): 192, http://lib.cqvip.com/Qikan/Article/Detail?id=7101131303.
[17] Bai, Yanan, Shi, Xiaoyu, Wu, Wenyuan, Chen, Jingwei, Feng, Yong. seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation. IEEE ACCESS[J]. 2020, 第 3 作者8: 98383-98394, https://doaj.org/article/f86efe3eadca43a1a934916a9004bd41.
[18] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Numerical roadmap of smooth bounded real algebraic surface. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2020, 第 2 作者  通讯作者  79: http://dx.doi.org/10.1016/j.cagd.2020.101858.
[19] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2020, 第 2 作者  通讯作者  33(4): 1252-1274, http://lib.cqvip.com/Qikan/Article/Detail?id=00002EOFK7407JP0MPDO5JP0MNR.
[20] Li, Yi, Wu, Wenyuan, Feng, Yong. On ranking functions for single-path linear-constraint loops. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER[J]. 2020, 第 2 作者22(6): 655-666, https://www.webofscience.com/wos/woscc/full-record/WOS:000496208800001.
[21] 刘洋, 陈经纬, 冯勇, 吴文渊. 并行LLL算法研究综述. 计算机工程与应用[J]. 2019, 第 4 作者55(16): 36-41, http://lib.cqvip.com/Qikan/Article/Detail?id=7002667888.
[22] Feng, Yong, Chen, Jingwei, Wu, Wenyuan. THE PSLQ ALGORITHM FOR EMPIRICAL DATA. MATHEMATICS OF COMPUTATION[J]. 2019, 第 3 作者88(317): 1479-1501, http://119.78.100.138/handle/2HOD01W0/7314.
[23] 汪维华, 张景中, 吴文渊. 改进的形态学与Otsu相结合的视网膜血管分割. 计算机应用研究[J]. 2019, 第 3 作者36(7): 2228-2231, http://lib.cqvip.com/Qikan/Article/Detail?id=7002312537.
[24] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 第 4 作者30(7): 1903-1915, http://lib.cqvip.com/Qikan/Article/Detail?id=7002464565.
[25] 柯程松, 吴文渊, 冯勇. 基于MLWE的低膨胀率加密算法. 计算机科学[J]. 2019, 第 2 作者46(4): 144-150, http://lib.cqvip.com/Qikan/Article/Detail?id=7001624811.
[26] 樊建峰, 李轶, 吴文渊, 冯勇. 基于双区块链的基站动环信息监控系统. 计算机科学[J]. 2019, 第 3 作者46(12): 155, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=JSJA201912024&v=MDA0MTlMTHo3QmI3RzRIOWpOclk5SFlJUjhlWDFMdXhZUzdEaDFUM3FUcldNMUZyQ1VSN3FlWitkdkZpbm1VN3Y=.
[27] Wu Wenyuan, Xia Bican, Wang Yu. Early ending in homotopy path-tracking for real roots. 13TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, AISC 2018. 2018, 第 1 作者181-194, http://119.78.100.138/handle/2HOD01W0/7975.
[28] Wang, Weihua, Zhang, Jingzhong, Wu, Wenyuan, Zhou, Shuang. An Automatic Approach for Retinal Vessel Segmentation by Multi-Scale Morphology and Seed Point Tracking. JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS[J]. 2018, 第 3 作者8(2): 262-274, https://www.webofscience.com/wos/woscc/full-record/WOS:000423786700015.
[29] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 第 3 作者45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.
[30] Wang, Weihua, Wang, Weiqing, Wu, Wenyuan, Zhang, Jingzhong. Multi-Window Local Region Contrast Adjustment and Region Growing for Retinal Vessel Segmentation. JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS[J]. 2018, 第 3 作者8(8): 1554-1565, https://www.webofscience.com/wos/woscc/full-record/WOS:000449743300003.
[31] Chen Changbo, Wu Wenyuan, Fleuriot J, Wang D, Calmet J. Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018). 2018, 第 11 作者11110: 170-180, 
[32] Changbo Chen, Wenyuan Wu. Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically. 13TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, AISC 2018. 2018, 第 2 作者  通讯作者  170-180, http://119.78.100.138/handle/2HOD01W0/7979.
[33] 陈长波, 吴文渊. A Continuation Method for Visualizing Planar Real Algebraic Curves withÂSingularities. 20TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2018. 2018, 第 2 作者99-115, http://119.78.100.138/handle/2HOD01W0/7981.
[34] Wang Yu, Wu Wenyuan, Xia Bican. A Special Homotopy Continuation Method for a Class of Polynomial Systems. 19TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017. 2017, 第 2 作者362-376, http://www.chinair.org.cn/handle/1471x/1660802.
[35] Changbo Chen, Wenyuan Wu, Yong Feng. Full Rank Representation of Real Algebraic Sets and Applications. 19TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017. 2017, 第 2 作者  通讯作者  51-65, http://www.chinair.org.cn/handle/1471x/1659915.
[36] Wu, Wenyuan, Reid, Greg, Feng, Yong. Computing real witness points of positive dimensional polynomial systems. THEORETICAL COMPUTER SCIENCE[J]. 2017, 第 1 作者  通讯作者  681: 217-231, http://dx.doi.org/10.1016/j.tcs.2017.03.035.
[37] Wu, Wenyuan, Chen, Changbo, Reid, Greg. Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017. 2017, 第 1 作者10490: 377-391, 
[38] Chen Jingwei, Feng Yong, Liu Yang, Wu Wenyuan. Faster binary arithmetic operations on encrypted integers. 2017 7TH INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE AND ENGINEERING, WCSE 2017. 2017, 第 4 作者956-960, http://www.chinair.org.cn/handle/1471x/1660804.
[39] Wu, Wenyuan, Zeng, Zhonggang. The Numerical Factorization of Polynomials. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS[J]. 2017, 第 1 作者17(1): 259-286, https://www.webofscience.com/wos/woscc/full-record/WOS:000393669300008.
[40] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 第 3 作者44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.
[41] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Full Rank Representation of Real Algebraic Sets and Applications. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017. 2017, 第 2 作者  通讯作者  10490: 51-65, 
[42] Zhu Guang, Li Yi, Wu Wenyuan, Xu B. Eventual Linear Ranking Functions for Multi-path Linear Loops. 2016 IEEE INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC). 2016, 第 3 作者331-337, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000389505000070.
[43] Wu Wenyuan, Feng Yong, Ji Zhenyi, Li Yi, Qin Xiao Lin, 秦小林. Numerical method for real root isolation of semi-algebraic system and its applications. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2016, 第 1 作者13(1): 803-811, 
[44] Chen Jingwei, Liu Yang, Tang Bing, Wu Wenyuan, 冯勇. Sparse non-negative matrix factorization with generalized kullback-leibler divergence. 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING, IDEAL 2016. 2016, 第 4 作者353-360, http://www.chinair.org.cn/handle/1471x/1660801.
[45] Zhou Shuang, Feng Yong, Wu WenYuan, Wang WeiHua. A novel method based on the fuzzy C-means clustering to calculate the maximal Lyapunov exponent from small data. ACTA PHYSICA SINICA[J]. 2016, 第 3 作者65(2): https://www.webofscience.com/wos/woscc/full-record/WOS:000370942000006.
[46] Wu Wenyuan, Chen Changbo. A numerical method for analyzing the stability of Bi-parametric biological systems. 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, SYNASC 2016. 2016, 第 1 作者91-98, http://www.chinair.org.cn/handle/1471x/1660817.
[47] Chen, Changbo, Wu, Wenyuan. A numerical method for computing border curves of bi-parametric real polynomial systems and applications. 18TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2016. 2016, 第 2 作者  通讯作者  156-171, http://www.chinair.org.cn/handle/1471x/1660815.
[48] Zhou Shuang, Feng Yong, Wu WenYuan. A novel method to identify the scaling region of correlation dimension. ACTA PHYSICA SINICA[J]. 2015, 第 3 作者64(13): http://dx.doi.org/10.7498/aps.64.130504.
[49] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 第 3 作者26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.
[50] Zhou Shuang, Feng Yong, Wu WenYuan. A novel method to identify the scaling region of correlation dimension. ACTA PHYSICA SINICA[J]. 2015, 第 3 作者64(13): https://www.webofscience.com/wos/woscc/full-record/WOS:000357674600004.
[51] Li Yi, Li ChuanCan, Wu WenYuan. Termination analysis of multipath loop programs with one variable. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2015, 第 3 作者26(2): 297-304, http://www.chinair.org.cn/handle/1471x/1660800.
[52] Zhou Shuang, Feng Yong, Wu WenYuan. Chaos and fractal properties of solar activity phenomena at the high and low latitudes. ACTA PHYSICA SINICA[J]. 2015, 第 3 作者64(24): https://www.webofscience.com/wos/woscc/full-record/WOS:000368828600055.
[53] 李文康, 陈长波, 吴文渊. 有效保留模型特征的自适应分层算法. 计算机应用[J]. 2015, 第 3 作者35(8): 2295-2300, http://lib.cqvip.com/Qikan/Article/Detail?id=665663328.
[54] Ji, Zhenyi, Liu, Zijian, Wu, Wenyuan, Feng, Yong, Li, Yi. Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2014, 第 3 作者11(9): 1942-1946, https://www.webofscience.com/wos/woscc/full-record/WOS:000338426800011.
[55] Zhou, Shuang, Feng, Yong, Wu, WenYuan, Li, Yi, Liu, Jiang. Low-dimensional chaos and fractal properties of long-term sunspot activity. RESEARCH IN ASTRONOMY AND ASTROPHYSICS[J]. 2014, 第 3 作者14(1): 104-112, https://www.webofscience.com/wos/woscc/full-record/WOS:000330160200009.
[56] 唐卷, 杨文强, 吴文渊, 冯勇. 微分代数系统中分块快速指标约简的启发式算法. 四川大学学报：工程科学版[J]. 2014, 第 3 作者67-74, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524852484949.
[57] Wu Wenyuan, Feng Yong, Reid Greg. Numerical and geometric properties of a method for finding points on real solution components. 2014 SYMPOSIUM ON SYMBOLIC-NUMERIC COMPUTATION, SNC 2014. 2014, 第 1 作者111-117, http://www.chinair.org.cn/handle/1471x/1659927.
[58] Li Yi, Feng Yong, Wu WenYuan. Termination analysis of loops with linear assignment over closed and bounded domains. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2014, 第 3 作者25(6): 1133-1142, http://www.chinair.org.cn/handle/1471x/1659876.
[59] Wu WenYuan, Chen JingWei, Feng Yong. Sparse bivariate polynomial factorization. SCIENCE CHINA-MATHEMATICS[J]. 2014, 第 1 作者57(10): 2123-2142, https://www.webofscience.com/wos/woscc/full-record/WOS:000340568900010.
[60] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 第 2 作者25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.
[61] Li, Yi, Li, Chuancan, Wu, Wenyuan, Feng, Yong, IEEE. Termination of Two Variable Homogeneous Linear Loops. 2013 SIXTH INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING (BIFE). 2014, 第 3 作者10-13, 
[62] Wu Wenyuan, Chen Jingwei, Feng Yong. An efficient algorithm to factorize sparse bivariate polynomials over the rationals. 2013, 第 1 作者125-126, http://www.chinair.org.cn/handle/1471x/1659918.
[63] Ji, Zhenyi, Wu, Wenyuan, Feng, Yong, Zhang, Guofeng. Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System. JOURNAL OF APPLIED MATHEMATICS[J]. 2013, 第 2 作者2013: https://doaj.org/article/7024d00d246c495182fe5d7cbe64b3e7.

（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-控制工程