求解力学问题的代数化和机械化系统

以申请者关一项目建立的计算力学的算术代数几何模型为基础，发展各种能有效实现模型的机械化算法，建立能构造各种力学问题解析解的机械化系统。既能用统一方法导出力学各个领域大批著名的已知解，又能求出一系列新解，特别是非线性偏微分方程的解析解，并应用列相应的力学问题和物理问题。