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

来源 :泰安师专学报 | 被引量 : 0次 | 上传用户:lanxoceco2003
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在吴方法的基础上,从微分代数的观点出发,机械化证明了各项同性弹性力学方程组的胡海昌解的完备性问题.
其他文献
我国的养鳗业是外向型产业,产品主要出口日本、韩国、欧美等地。自从加入WTO以来,进口国对水产品的药物残留和有害物质的检测要求越来越高,这就对我们的鳗鱼养殖技术,特别是