机构

• 软件研究所 [21]
• 数学与系统科学研究... [14]
• 自动化研究所 [6]
• 遥感与数字地球研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [44]

内容类型

• 期刊论文 [32]
• 会议论文 [10]
• 学位论文 [2]

发表日期

• 2017 [1]
• 2014 [1]
• 2013 [1]
• 2012 [1]
• 2011 [2]
• 2010 [3]
• 更多

学科主题

• Optics [1]
• Physics [1]

筛选

浏览/检索结果: 共44条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Automated Reducible Geometric Theorem Proving and Discovery by Grobner Basis Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2017, 卷号: 59, 期号: 3, 页码: 331-344 作者:  Zhou, Jie;  Wang, Dingkang;  Sun, Yao   |  收藏  |  浏览/下载：23/0  |  提交时间：2018/07/30 Zero divisor  True on components  Grobner basis  Geometric theorem proving  Geometric theorem discovery   Combining symmetry reduction with generalized symbolic trajectory evaluation 期刊论文  OAI收割 Computer Journal, 2014, 卷号: 57, 期号: 1, 页码: 115-128 Li, Yongjian (1); Zeng, Naiju (1); Hung, William N.N. (2); Song, Xiaoyu (3)   |  收藏  |  浏览/下载：28/0  |  提交时间：2014/12/16 generalized symbolic trajectory evaluation  symmetry reduction  theorem proving   基于PVS的数据库安全策略形式化分析方法 期刊论文  OAI收割 中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 形式化方法  数据库管理系统  PVS  定理证明  formal method  DBMS  PVS  theorem proving   基于PVS的数据库安全策略形式化分析方法 会议论文  OAI收割 首届全国信息安全等级保护技术大会, 桂林, 2012 李昊; 张敏; 王榕   |  收藏  |  浏览/下载：20/0  |  提交时间：2013/09/22 formal method  DBMS  PVS  theorem proving   no-go theorem for one-way quantum computing on naturally occurring two-level systems 期刊论文  OAI收割 PHYSICAL REVIEW A, 2011, 卷号: 83, 期号: 5, 页码: - Chen Jianxin; Chen Xie; Duan Runyao; Ji Zhengfeng; Zeng Bei   |  收藏  |  浏览/下载：27/0  |  提交时间：2013/10/08 Computational linguistics  Ground state  Hamiltonians  Quantum computers  Quantum electronics  Quantum optics  Theorem proving   dichotomy for holant* problems of boolean domain 会议论文  OAI收割 22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan Cai Jin-Yi; Lu Pinyan; Xia Mingji 收藏  |  浏览/下载：12/0  |  提交时间：2011/10/10 Algorithms  Polynomial approximation  Theorem proving   Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 213-241 作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan   |  收藏  |  浏览/下载：22/0  |  提交时间：2018/07/30 Geometry theorem proving  Visually dynamic presentation of proof  Dynamic geometry  Unordered geometry  Gelernter  Java Geometry Expert  Morley's theorem  Feuerbach's theorem  Pythagorean theorem  Pedal triangle   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 期刊论文  OAI收割 JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266 作者:  Ye, Zheng;  Chou, Shang-Ching;  Gao, Xiao-Shan   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/07/30 Geometry theorem proving  Proof with hierarchical structures  Visually dynamic presentation of proof  Dynamic geometry  Full-angle  Deductive database  Fixpoint  Unordered geometry  Hilbert geometry  Tarski geometry   security of the sms4 block cipher against differential cryptanalysis 期刊论文  OAI收割 Journal of Computer Science and Technology, 2010, 卷号: 26, 期号: 1, 页码: 130-138 Su Bo-Zhan; Wu Wen-Ling; Zhang Wen-Tao   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/05/23 Lyapunov methods  Theorem proving   A characteristic set method for ordinary difference polynomial systems 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2009, 卷号: 44, 期号: 3, 页码: 242-260 作者:  Gao, Xiao-Shan;  Luo, Yong;  Yuan, Chunming   |  收藏  |  浏览/下载：6/0  |  提交时间：2018/07/30 Difference polynomial  Ascending chain  Characteristic set  Coherence  Irreducibility  Zero decomposition theorem  Automated theorem proving