当前位置: X-MOL首页全球导师 国内导师 › 吴敏

研究领域

符号计算‚ 微分、差分代数、 程序验证

近期论文

查看导师最新文章 (温馨提示:请注意重名现象,建议点开原文通过作者单位确认)

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.

推荐链接
down
wechat
bug