刘姜

职称/职务:副教授,博士生导师

主要研究领域:自动证明与符号计算,人工智能理论与应用,非线性系统

电子邮箱:jliu113@126.com

办公室:管理学院1107室

教育背景与工作经历

教育背景

2004.09--2009.07,中国科学院数学与系统科学研究院,应用数学,博士

2000.09--2004.06,南京大学,数学与应用数学,学士

 

学术经历

2019.09--2021.09,美国明尼苏达大学,数学学院,访问学者 (合作:Peter J. Olver教授)

2009.08--现在,上海理工大学,副教授


人才计划

2019乘风计划,上海理工大学



教研项目及成果

主要科研项目

国家自然科学基金面上项目(12371508),主持

国家自然科学基金青年基金(11701370),主持

中科院数学机械化重点实验室开放基金(2011-2012), 主持

上海市自然科学基金(15ZR1401600),参与


代表性论文(*为通讯)

[1] Liu J, Ni F*. Distance invariant method for normalization of indexed differentials. Journal of Symbolic Computation, 2021, 104: 256-275. 

[2] Liu J, Wang T, Hou P J, Ni F*, et al. Restricted Gröbner basis theory for normalization of indexed differential Riemann metric tensor polynomials. Journal of Systems Science and Complexity, to appear.

[3] Liu J, Ni F*, Song S H, et al. Normalization of indexed differentials by extending Gröbner basis theory. Journal of Systems Science and Complexity, 2022, 35: 2016-2028.

[4] Liu J. An extension of Gröbner basis theory to indexed polynomials without eliminations. Journal of Systems Science and Complexity, 2020, 33: 1708-1718. 

[5] Liu J*, Li J, Ni F, et al. An algebraic semigroup method for discovering maximal frequent itemsets. Open Mathematics, 2022, 20: 1432–1443.

[6] Liu J, Ni F*, Du M J, et al. Upper bounds on the node numbers of hidden layers in MLPs. Neural Network World, 2021, 31 (4): 297-309.

[7] Liu J. Block distance invariant method for monoterm canonicalization of Riemann tensor polynomials. ACM Communications in Computer Algebra, 2019, 53 (3): 134-137.

[8] Hou P J, Liu J*, Ni F, et al. Hybrid strategies based seagull optimization algorithm for solving engineering design problems. International Journal of Computational Intelligence Systems, 2024, 17(1): 62.

[9] Liu J. Normalization in Riemann tensor polynomial ring. Journal of Systems Science and Complexity, 2018, 31 (2): 569-580.

[10] Wang D S*, Liu J*. Integrability aspects of some two-component KdV systems. Applied Mathematics Letters, 2018, 79: 211-219 (ESI highly cited paper).

[11] Wang D S*, Liu J*, Wang L Z. Non-autonomous matter-wave solitons in hybrid atomic–molecular Bose–Einstein condensates with tunable interactions and harmonic potential. Physics Letters A, 2018, 382: 799-805.

[12] Liu J. Normalization of indexed differentials based on function distance invariants. Computer Algebra in Scientific Computing (CASC) 2017, Lecture Notes in Computer Science, 2017, 10490: 285-300. 

[13] Liu J, Wang D S*, Yin Y B. Lie symmetry analysis of the inhomogeneous Toda lattice equation via semi-discrete exterior calculus. Communications in Theoretical Physics, 2017, 67: 643–647. 

[14] Wang D S, Liu J, Zhang Z F*. Integrability and equivalence relationships of six integrable coupled Korteweg–de Vries equations. Mathematical Methods in the Applied Sciences, 2016, 39: 3516-3530.

[15] Liu J*, Li H B, Zhang L X. A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry (in Chinese). Scientia Sinica Mathematica, 2013, 43: 399–408.

[16] Liu J*, Li H B, Cao Y H. Simplification and normalization of indexed differentials involving coordinate transformation. Science in China Series A, 2009, 52(10): 2266–2286. 



主讲课程


学术活动与社会服务

学术任职

上海市非线性科学研究会,理事

中国数学会计算机数学专业委员会,委员

美国《数学评论》,评论员

荣誉

2020年上海理工大学五四青年团队奖章