刘姜
发布者：刘晋榕发布时间：2025-12-26浏览次数：10
姓名 | 刘姜 | 照片 |
职称 | 副教授/博士生导师 |
|
主要研究领域(300字以内) | 1. 自动证明与符号计算
2. 人工智能理论与应用
3. 非线性系统 |
电子邮箱 | jliu113@126.com |
办公室 |
|
所在部门 | 理学院 |
教育背景与工作经历 |
教育背景 2004年09月 - 2009年07月，中国科学院数学与系统科学研究院，博士 2000年09月 - 2004年06月，南京大学，学士
工作经历 2009年08月 - 至今：上海理工大学 2019年09月 - 2021年09月：美国明尼苏达大学（访问学者） |
科（教）研项目及成果 |
代表性成果： • 主持国家自然科学基金面上项目（12371508）、国家自然科学基金青年基金（11701370）及中科院数学机械化重点实验室开放基金等多项课题。
• Liu J, Ni F. Distance invariant method for normalization of indexed differentials. Journal of Symbolic Computation, 2021, 104: 256-275.
• Wang D S, Liu J. Integrability aspects of some two-component KdV systems. Applied Mathematics Letters, 2018, 79: 211-219 (ESI高被引论文).
• Liu J, Ni F, et al. Normalization of indexed differentials by extending Gröbner basis theory. Journal of Systems Science and Complexity, 2022, 35: 2016-2028.
• Liu J, Li H B, Cao Y H. Simplification and normalization of indexed differentials involving coordinate transformation. Science in China Series A, 2009. |
```
