吴敏
软件工程学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 软件工程学院
毕业院校：
学位：
学历：
邮编：
联系电话：
传真：
电子邮箱： mwu@sei.ecnu.edu.cn
办公地址： 数学馆东203
通讯地址： 上海市中山北路3663号

教育经历

工作经历

个人简介

社会兼职


研究方向
符号计算‚ 微分、差分代数、程序验证


开授课程


科研项目


学术成果

Ruyong Feng‚ Michael F. Singer and Min Wu. Liouvillian solutions of linear difference-differential equations. Submitted to Journal of Symbolic Computation‚ 2008.
Min Wu and Ziming Li. On solutions of linear functional systems and factorization of Laurent-Ore modules. In Computer Algebra 2006: Latest Advances in Symbolic Algorithms-Proceedings of the Waterloo Workshop‚ World Scientific‚ 2007.
Ziming Li‚ Min Wu and Dabin Zheng. Testing linear dependence ofhyperexponential elements. ACM SIGSAM Communications in Computer Algebra‚ Vol 41‚ No.1‚ March 2007.
Ziming Li‚ Michael F. Singer‚ Min Wu and Dabin Zheng. A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation‚ J. Dumas (ed)‚ 220-227‚ ACM Press‚ 2006. (Distinguished Paper Award)
Ziming Li‚ Dabin Zheng and Min Wu. Determining a linear dependence of hyperexponential functions. Mathematics-Mechanization Research Preprints‚ No. 24‚ pp. 145-154‚ December 2005.
Min Wu. On Solutions of Linear Functional Systems and Factorization of Modules over Laurent-Ore Algebras. Doctoral Thesis‚ July‚ 2005.
Manuel Bronstein‚ Ziming Li and Min Wu. Picard-Vessiot extensions for linear functional systems. In Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation‚ 2005
Min Wu. On the factorization of differential modules. Differential Equations and Symbolic Computation‚ Chapter 14. D. Wang and Z. Zheng (ed.). Birkhauser‚ Basel Boston‚ 2005.
Min Wu and Guangxing Zeng. Higher level orderings on modules. Acta Mathematica Sinica‚English Series‚ Vol. 21‚ No. 2‚ pp. 279-288. Springer-Verlag‚ 2005.


荣誉及奖励


招生信息














10 访问


相关教师