CORC

在结果中检索

CORC

浏览/检索结果: 共39条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Geometry Problem Solving Based on Counter-factual Evolutionary Reasoning 会议论文
New Zealand, 2023
作者:  Song B(宋冰);  Xiong G(熊刚);  Shen Z(沈震);  Zhu F(朱凤华);  Lv Y（吕宜生）
收藏  |  浏览/下载：6/0  |  提交时间：2023/06/26
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity 期刊论文
Journal of Systems Science and Complexity, 2019, 卷号: 32, 期号: 1, 页码: 78-94
作者:  Zhang, Jingzhong;  Peng, Xicheng;  Chen, Mao
收藏  |  浏览/下载：17/0  |  提交时间：2020/02/18
Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344
作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao
收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30
Tree-Structure CNN for automated theorem proving 会议论文
24th International Conference on Neural Information Processing, ICONIP 2017, Guangzhou, China, 2017-11-14
作者:  Peng, Kebin;  Ma, Dianfu
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Well-Behaved Inference Rules for First-Order Theorem Proving 期刊论文
2015, 2015
Jinzhao Wu; Zhuojun Liu
收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19
On theorem proving in annotated logics 期刊论文
2015, 2015
Mi Lu; JinZhao Wu
收藏  |  浏览/下载：5/0  |  提交时间：2017/06/19
Representation and automated transformation of geometric statements 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2014, 卷号: 27, 页码: 382-412
作者:  Chen, Xiaoyu
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
A review and prospect of readable machine proofs for geometry theorems 期刊论文
Journal of Systems Science and Complexity, 2012, 卷号: Vol.25 No.4, 页码: 802-820
作者:  Jianguo Jiang;  Jingzhong Zhang
收藏  |  浏览/下载：3/0  |  提交时间：2019/02/27
Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 213-241
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：21/0  |  提交时间：2018/07/30
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method 期刊论文
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan
收藏  |  浏览/下载：14/0  |  提交时间：2018/07/30

©版权所有 ©2017 CSpace - Powered by CSpace