首页> 中文期刊>广东第二师范学院学报 >不等式自动发现与判定程序agl2012功能的若干拓展

不等式自动发现与判定程序agl2012功能的若干拓展

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.

著录项

来源
《广东第二师范学院学报》|2014年第5期|P.28-35|共8页
作者
刘保乾;
展开▼
作者单位

西藏自治区组织编制信息管理中心,西藏拉萨850000;

展开▼
原文格式 PDF
正文语种 CHI
中图分类不等式;
关键词
不等式自动发现; agl2012程序; 机器证明;

相似文献

中文文献
外文文献
专利

1. 不等式自动发现与判定程序agl2012功能的若干拓展 [J] . 刘保乾 . 广东第二师范学院学报 . 2014,第005期
2. 不等式自动发现与判定程序agl2012典型应用9例 [J] . 刘保乾 . 广东第二师范学院学报 . 2016,第003期
3. 不等式自动发现与判定程序agl2012典型应用9例 [J] . 刘保乾 . 广东第二师范学院学报 . 2016,第003期
4. 不等式自动发现与判定程序agl2010的若干新改进 [J] . 刘保乾 . 汕头大学学报（自然科学版） . 2014,第001期
5. 不等式自动发现和判定程序agl2010的若干改进及应用 [J] . 刘保乾 . 广东第二师范学院学报 . 2011,第003期
6. 论功能性特征限定在授权确权程序中以及侵权判定中对权利要求保护范围的影响 [C] . 何杨 . 2016年专利代理学术研讨会 . 2016
7. 主题网站的自动发现与判定方法研究 [A] . 郭倩 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号