CORC

在结果中检索

CORC

浏览/检索结果: 共73条，第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
A graph-based method for interactive mapping revision in DL-Lite 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2023, 卷号: 211, 页码: 24
作者:  Li, Weizhuo;  Ji, Qiu;  Zhang, Songmao;  Fu, Xuefeng;  Qi, Guilin
收藏  |  浏览/下载：11/0  |  提交时间：2023/02/07
Directed connectivity analysis of the brain network in mathematically gifted adolescents 期刊论文
COMPUTATIONAL INTELLIGENCE AND NEUROSCIENCE, 2020, 卷号: 8, 页码: 10
作者:  Wei, MT (Wei, Mengting);  Wang, QY (Wang, Qingyun);  Jiang, X (Jiang, Xiang);  Guo, YY (Guo, Yiyun);  Fan, H (Fan, Hui)
收藏  |  浏览/下载：41/0  |  提交时间：2020/10/22
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
收藏  |  浏览/下载：16/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
收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30
Witness to non-termination of linear programs 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100
作者:  Li, Yi
收藏  |  浏览/下载：27/0  |  提交时间：2018/03/05
Computing real witness points of positive dimensional polynomial systems 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
收藏  |  浏览/下载：22/0  |  提交时间：2018/03/05
Weak QMV algebras and some ring-like structures 期刊论文
SOFT COMPUTING, 2017, 卷号: 21, 期号: 10, 页码: 2537-2547
作者:  Lu, Xian;  Shang, Yun;  Lu, Ru-qian;  Zhang, Jian;  Ma, Feifei
收藏  |  浏览/下载：13/0  |  提交时间：2018/07/30
Quantifier elimination by cylindrical algebraic decomposition based on regular chains 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:  Chen, Changbo;  Maza, Marc Moreno
收藏  |  浏览/下载：16/0  |  提交时间：2018/03/15
Open Project of Chongqing Key Laboratory of Automated Reasoning and Cognition from China[CARC2014004] 项目
项目编号: CARC2014004, 资助机构: Open Project of Chongqing Key Laboratory of Automated Reasoning and Cognition from China, 2016-
-
收藏  |  浏览/下载：6/0  |  提交时间：2018/03/15

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