《非線性數學物理方程可積性的自動推導研究》是依託上海大學，由徐桂瓊擔任項目負責人的專項基金項目。
基本介紹
- 中文名：非線性數學物理方程可積性的自動推導研究
- 項目類別：專項基金項目
- 項目負責人：徐桂瓊
- 依託單位：上海大學
- 批准號：10547123
- 申請代碼：A2501
- 負責人職稱：教授
- 研究期限：2006-01-01 至 2006-12-31
- 支持經費：2（萬元）
中文摘要
將基於符號的計算機處理方法套用於現代物理和力學等領域中所出現的非線性數學物理方程，探索方程的可積性以及求解新方法，進一步拓寬數學機械化在微分領域的套用範圍。在符號計算平台上開發用於可積性檢驗、可積歸類、可積系統自動生成以及多孤子解自動推導的軟體包，為實際問題的解決提供新的原理和工具，促進相關科學的發展，特別在偏微分方程、數學物理和符號計算及其交匯點上取得一些創新性的成果。
