首页> 外文OA文献 >An identity method for proving geometry theorems based on Wu's method

【2h】

An identity method for proving geometry theorems based on Wu's method

机译：基于WU方法证明几何定理的身份方法

代理获取

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

页面导航

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

著录项

作者
Rao Yongsheng; Peng Xicheng; Zou Yu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Identity [J] . ZHANG Jingzhong, PENG Xicheng, CHEN Mao 系统科学与复杂性：英文版 . 2019,第001期

机译：Wu的方法识别视角下基于点几何的不言而喻的自动证明
2. Fast Theorem-Proving and Wu's Method [J] . LI Lian, WANG Jimin Journal of Computer Science & Technology . 1999,第5期

机译：快速定理证明与吴氏方法
3. Fast Theorem-proving and Wu's Method [J] . LIN Lian, WANG Jimin 计算机科学技术学报（英文版） . 1999,第005期

机译：快速定理证明和吴氏方法
4. Automated Theorem Proving in Incidence Geometry ― A Bracket Algebra Based Elimination Method [C] . Hongbo Li, Yihong Wu Automated Deduction in Geometry . 2001

机译：入射几何中的自动定理证明-一种基于括号代数的消除方法
5. Mechanically proving geometry theorems using Wu's method and Collins' method. [D] . McPhee, Nicholas Freitag. 1993

机译：使用Wu方法和Collins方法对几何定理进行机械证明。
6. Extending rule-based methods to model molecular geometry and 3D model resolution [O] . Brittany Hoard, Bruna Jacobson, Kasra Manavi, 2016

机译：扩展基于规则的方法以建模分子几何和3D模型分辨率
7. Automated Theorem Proving in Incidence Geometry – A Bracket Algebra Based Elimination Method [O] . Hongbo Li, Yihong Wu 2014

机译：关联几何中的自动定理证明 - 基于支架代数的消元法

An identity method for proving geometry theorems based on Wu's method

著录项

引文网络

相似文献

相关主题

期刊订阅