头像

吴敏

软件工程学院      

个人资料

  • 部门: 软件工程学院
  • 毕业院校:
  • 学位:
  • 学历:
  • 邮编:
  • 联系电话: 021-62235060
  • 传真:
  • 电子邮箱: 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 of  hyperexponential 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 访问

相关教师