| 弹性力学通解的完备性的机械化证明方法 |
| |
| 引用本文： | 陆斌,张鸿庆.弹性力学通解的完备性的机械化证明方法[J].泰山学院学报,2001,23(6):1-3. |
| |
| 作者姓名： | 陆斌 张鸿庆 |
| |
| 作者单位： | 大连理工大学,应用数学系,辽宁,大连,116024 |
| |
| 基金项目： | 国家自然科学基金资助项目(10072013);国家重点基础研究发展规划项目(G1998030600),博士点基金资助项目 |
| |
| 摘 要： | 在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.
|
| 关 键 词： | 标准型 机械化 相容条件 |
| 文章编号： | 1003-7888(2001)06-0001-03 |
| 修稿时间： | 2001年7月6日 |
A mechanical algorithm for proving the completeness of the solutions of elasticity equations |
| |
| LU Bin,ZHANG Hong-qing.A mechanical algorithm for proving the completeness of the solutions of elasticity equations[J].Journal of Taishan University,2001,23(6):1-3. |
| |
| Authors: | LU Bin ZHANG Hong-qing |
| |
| Abstract: | Basing on wu's method, a mechanically prove the completeness of the solutions of completeness of the Hu's solutions in elasticity with the view of the differential algebra. |
| |
| Keywords: | standard form mechanical algorithm compatible conditions |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
