個人信息
大連理工大學博士生導師
院系：數學科學學院
梁松新專業：計算數學、套用數學
更新時間：2011-10-13
個人簡介
1995 - 1998 四川大學數學系, 理學博士
2006 - 2010 Ph.D., Department of Applied Mathematics at the University of Western Ontario
2011 - 現在 大連理工大學數學科學學院，教授，博士生導師
研究領域（研究課題）
符號計算(又稱計算機代數);
偏微分方程/邊值問題解析解;
多項式計算理論;
計算機自動推理
出版著作和論文
[1] Songxin liang & David J. Jeffrey, An analytical approach for solving nonlinear boundary value problems in finite domains, Numerical Algorithms, 56 (2011): 93-106.
[2] Songxin Liang & David J. Jeffrey, Approximate solutions to a parameterized sixth order boundary value problem, Computers & Mathematics with Applications, 59 (2010) 247-253.
[3] Songxin Liang, Juergen Gerhard, David J. Jeffrey & Guillaume Moroz, A Package for Solving Parametric Polynomial Systems, ACM Communications in Computer Algebra, 43 (2009) 61-72.
[4] Songxin Liang & David J. Jeffrey, An efficient analytical approach for solving fourth order boundary value problems, Computer Physics Communications, 180 (2009) 2034–2040.
[5] Songxin Liang & David J. Jeffrey, New travelling wave solutions to modified CH and DP equations, Computer Physics Communications, 180 (2009) 1429–1433.
[6] Songxin Liang & David J. Jeffrey, Automatic computation of the complete root classification for a parametric polynomial, Journal of Symbolic Computation, 44 (2009) 1487-1501.
[7] Songxin Liang & David J. Jeffrey, Comparison of homotopy analysis method and homotopy perturbation method through an evolution equation. Communications in Nonlinear Science and Numerical Simulation, 14 (2009) 4057–4064.
[8] Songxin Liang, David J. Jeffrey & Marc Moreno Maza, The complete root classification of a parametric polynomial on an interval, Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation (ISSAC’08), pp. 189-196, ACM Press.
[9] Songxin Liang & David J. Jeffrey, unconstrained parametric minimization of a polynomial: approximate and exact, ASCM 2007. Lecture Notes in Computer Science 5081, pp. 22-31, Springer, 2008.
[10] Songxin Liang & David J. Jeffrey, Automatic computation of the travelling wave solutions to nonlinear PDEs, Computer Physics Communications, 178 (2008) 700-712.
[11] Songxin Liang & David J. Jeffrey, Rule-based simplification in vector-product spaces, Calculemus2007. Lecture Notes in Computer Science 4573, pp. 116-127, Springer, 2007.
[12] Songxin Liang & David J. Jeffrey, An algorithm for computing the complete root classification of a parametric polynomial, AISC2006. Lecture Notes in Computer Science 4120, pp. 116-130, Springer, 2006.
[13] 楊路，梁松新（主編): 面向21世紀的數學技術, 廣東經濟出版社, 1999.
[14] Songxin Liang & Jingzhong Zhang, A complete discrimination system for polynomials with complex coefficients and its automatic generation, Science in China, Series E, 42 (1999) 113-128.
[15] 梁松新，張景中：地奧教育軟體—平面解析幾何，中國少年兒童出版社，1998.
[16] 梁松新，曾廣興：無限維空間中的實零點定理，數學學報，39 (1996) 336-344.
[17] 梁松新，李傳中：有理數域上二元多項式正定性的判定，計算機套用，18(3)（1998）28-29.
[18] 李傳中，梁松新：Allegro CL for Windows 中串表的存儲技巧，計算機套用，18(4)（1998）51-52.
[19] 梁松新，熊萍：二元多項式正定性的自動判定，計算機套用，19(4)（1999）6-7.
[20] Songxin Liang & David J. Jeffrey, Root classifications and explicit solution formulas for quartic equations, Submitted.
