The parallel numerical method of mechanical theorem proving

机译：机械定理证明的并行数值方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhang Jingzhong; Yang Lu; Deng Mike;
展开▼
作者单位

展开▼
年度 1990
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING [J] . WU Jinzhao, TAN Hongyan Systems Science and Mathematical Sciences . 1996,第4期

机译：机械几何定理证明的一种方法
2. A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING [J] . 系统科学与复杂性：英文版 . 1996,第004期

机译：一种机械几何定理证明的方法
3. Parallelization of a Hyper-Linking-Based Theorem Prover [J] . CHIH-HUNG WU, SHIE--JUE LEE Journal of Automated Reasoning . 2001,第1期

机译：基于超链接定理证明的并行化
4. A NEW MECHANICAL THEOREM PROVING METHOD------"PROVING BY EXAMPLE"METHOD [C] . Binggang Huang, Zhijie Zhou, Wenqiang Zhang, International Conference on Computer and Communications . 1986

机译：一种新的力学定理证明方法------“实例证明”方法
5. Mechanically proving geometry theorems using Wu's method and Collins' method. [D] . McPhee, Nicholas Freitag. 1993

机译：使用Wu方法和Collins方法对几何定理进行机械证明。
6. A combination of experimental and numerical methods to investigate the role of strain rate on the mechanical properties and collagen fiber orientations of the healthy and atherosclerotic human coronary arteries [O] . Alireza Karimi, Seyyed Mohammadali Rahmati, Toshihiro Sera, 2017

机译：实验和数值方法的组合以研究应变速率对健康和动脉粥样硬化人冠状动脉的机械性能和胶原纤维取向的作用
7. An identity method for proving geometry theorems based on Wu's method [O] . Rao Yongsheng, Peng Xicheng, Zou Yu 2020

机译：基于WU方法证明几何定理的身份方法
8. Roo: A parallel theorem prover [R] . Lusk, E. L., McCune, W. W., Slaney, J. K. 1991

机译：Roo：一个平行定理证明器

The parallel numerical method of mechanical theorem proving

著录项

引文网络

相似文献

相关主题

期刊订阅