CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
A Survey on Algorithms for Computing Comprehensive Grobner Systems and Comprehensive Grobner Bases 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2019, 卷号: 32, 期号: 1, 页码: 234-255
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载：16/0  |  提交时间：2019/04/02
Refinement-Based Specification and Security Analysis of Separation Kernels 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 页码: 127-141
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
asurveyonalgorithmsforcomputingcomprehensivegrobnersystemsandcomprehensivegrobnerbases 期刊论文
journalofsystemsscienceandcomplexity, 2019, 卷号: 32, 期号: 1, 页码: 234
作者:  Lu Dong;  Sun Yao;  Wang Dingkang
收藏  |  浏览/下载：11/0  |  提交时间：2020/01/10
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
PARAMETERIZED INEQUALITIES ABOUT A POINT IN THE PLANE OF A TRIANGLE 期刊论文
JOURNAL OF MATHEMATICAL INEQUALITIES, 2018, 卷号: 12, 期号: 4, 页码: 953-960
作者:  Huang, Fangjian;  Li, Yi
收藏  |  浏览/下载：16/0  |  提交时间：2019/01/15
A Verified Capability-Based Model for Information Flow Security With Dynamic Policies 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 16395-16407
作者:  Sun, Jianwen;  Long, Xiang;  Zhao, Yongwang
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
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
同步数据流语言可信编译器的构造 期刊论文
2016, 2016
石刚; 王生原; 董渊; 嵇智源; 甘元科; 张玲波; 张煜承; 王蕾; 杨斐; SHI Gang; WANG Sheng-Yuan; DONG Yuan; JI Zhi-Yuan; GAN Yuan-Ke; ZHANG Ling-Bo; ZHANG Yu-Cheng; WANG Lei; YANG Fei
收藏  |  浏览/下载：3/0
Well-Behaved Inference Rules for First-Order Theorem Proving 期刊论文
2015, 2015
Jinzhao Wu; Zhuojun Liu
收藏  |  浏览/下载：2/0  |  提交时间：2017/06/19
Mechanical geometry theorem proving based on groebner bases 期刊论文
2015, 2015
Jinzhao Wu（吴尽昭）
收藏  |  浏览/下载：6/0  |  提交时间：2017/06/19

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