弹性力学通解的完备性的机械化证明方法  

A mechanical algorithm for proving the completeness of the solutions of elasticity equations

作　　者：陆 斌[1] 张鸿庆[1] 

机构地区：[1]大连理工大学应用数学系,辽宁大连116024

出　　处：《泰安师专学报》2001年第6期1-3,共3页Journal of Taian Teachers College

基　　金：国家自然科学基金资助项目(10072013);国家重点基础研究发展规划项目(G1998030600);博士点基金资助项目

摘　　要：在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.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.

关 键 词：弹性力学 通解 完备性 机械化证明方法 相容条件 

分 类 号：O343[理学—固体力学]