咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 37 篇 期刊文献

馆藏范围

  • 37 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 33 篇 理学
    • 33 篇 数学
  • 4 篇 医学
    • 3 篇 公共卫生与预防医...
    • 1 篇 临床医学
  • 3 篇 管理学
    • 3 篇 公共管理

主题

  • 16 篇 不等式自动发现
  • 13 篇 机器证明
  • 10 篇 agl2012程序
  • 7 篇 三角形几何不等式
  • 6 篇 agl2010程序
  • 4 篇 问题
  • 3 篇 多项式不等式
  • 3 篇 差分代换
  • 3 篇 非负分拆
  • 3 篇 秩序图
  • 2 篇 量级
  • 2 篇 sos表示
  • 2 篇 配平方和
  • 2 篇 不等式
  • 2 篇 随机数验证程序
  • 2 篇 半正定多项式
  • 2 篇 磨光集
  • 1 篇 半正定
  • 1 篇 康复门诊病历
  • 1 篇 教学辅助

机构

  • 33 篇 西藏自治区组织编...
  • 3 篇 中国康复科学所康...
  • 3 篇 首都医科大学
  • 3 篇 中日友好医院
  • 3 篇 浙江省康复与运动...
  • 3 篇 西藏自治区残疾人...
  • 3 篇 康复大学
  • 3 篇 世界卫生组织国际...
  • 3 篇 华东师范大学
  • 3 篇 中国康复研究中心...
  • 3 篇 南京医科大学
  • 3 篇 高州市人民医院
  • 3 篇 北京市康复医疗质...
  • 3 篇 南京医科大学第一...
  • 3 篇 复旦大学附属华东...
  • 3 篇 北京协和医院
  • 3 篇 浙江省人民医院/杭...
  • 3 篇 北京大学第三医院
  • 3 篇 国家康复医学专业...
  • 3 篇 南方医科大学附属...

作者

  • 33 篇 刘保乾
  • 3 篇 郑洁皎
  • 3 篇 杨延砚
  • 3 篇 田益凡
  • 3 篇 刘小燮
  • 3 篇 张鸣生
  • 3 篇 王一吉
  • 3 篇 张萌
  • 3 篇 叶海燕
  • 3 篇 张赢心
  • 3 篇 邱卓英
  • 3 篇 刘叶
  • 3 篇 黄秋晨
  • 3 篇 王忠彦
  • 3 篇 叶祥明
  • 3 篇 曾斌
  • 3 篇 黄富表
  • 3 篇 杨亚茹
  • 3 篇 许光旭
  • 3 篇 谢欲晓

语言

  • 37 篇 中文
检索条件"机构=西藏自治区组织编制信息管理中心"
共 37 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
利用函数单调性证明一类不等式及算法实现
收藏
分享
引用
汕头大学学报(自然科学版) 2025年 第2期 67-80页
作者： 刘保乾 西藏自治区组织编制信息管理中心
有理型的对称三角形几何不等式，总可以用三角形的内切圆半径r、外接圆半径R和半周s表示出来，从而化成型如f(s)≥0的不等式.用三角形中的著名不等式和已知结果得到了五个重要区间，通过研究f(s)在这些区间上的单调性得到了不等式f(s)≥... 详细信息
来源： 评论
等腰取等三角形几何不等式研究的若干新结果
收藏
分享
引用
汕头大学学报（自然科学版） 2022年 第1期37卷 46-55页
作者： 刘保乾 西藏自治区组织编制信息管理中心
回顾了等腰取等不等式的研究发展过程;提出了等腰取等量并详细讨论了它在加强等腰取等不等式方面的应用;对已有的一些不等式发现模型进行了新探讨;提出了验证等腰取等不等式最佳系数的一种方法;给出了大量的应用实例及新的不等式成果.
来源： 评论
用赫尔德不等式和柯西不等式证明一类根式不等式
收藏
分享
引用
汕头大学学报（自然科学版） 2020年 第1期35卷 71-80页
作者： 刘保乾 西藏自治区组织编制信息管理中心
借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了应用程序;文中的例子表明,这些应用程序已经成为破解根式不等式的利器,一大批难度甚大的不等式难题得到解... 详细信息
来源： 评论
随机数验证程序在多项式非负分拆中的应用
收藏
分享
引用
汕头大学学报(自然科学版) 2012年 第3期27卷 27-37页
作者： 刘保乾 西藏自治区组织编制信息管理中心
探讨了用随机数验证程序进行多项式非负分拆的方法,得到了6种算法,并编写了应用程序agl2010sos,从而实现了一类半正定多项式的分拆证明,尤其是配平方和证明;针对运行效率和节约系统资源问题,给出了程序设计和使用的若干技巧和策略;提出... 详细信息
来源： 评论
用不等式自动发现与判定程序agl2010研究n元不等式
收藏
分享
引用
广东第二师范学院学报 2012年 第3期32卷 13-21页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
讨论了用不等式自动发现与判定程序agl2010发现n元不等式的方法和技巧;总结出发现n元不等式的"推广三步骤"方法,并对3元不等式的n元推广实现了自动发现;提出了智能模拟的概念,指出它是机器证明的任务之一;给出了若干n元不等... 详细信息
来源： 评论
不等式的自动发现原理及其实现
收藏
分享
引用
汕头大学学报（自然科学版） 2011年 第2期26卷 3-11页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的... 详细信息
来源： 评论
智能模拟思想应用3例
收藏
分享
引用
广东第二师范学院学报 2014年 第3期34卷 6-14页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
根据智能模拟思想,设计了2个自动出题程序和3个多项式数据通用构造程序,这些程序不仅进一步完善了agl2012程序的功能(特别是教学辅助功能),也为用智能模拟思想进行研究提供了实例;结合具体例子对智能模拟思想进行了新的论述和补充;提出... 详细信息
来源： 评论
多元对称不等式新探
收藏
分享
引用
汕头大学学报（自然科学版） 2022年 第3期37卷 35-44页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对差分代换的研究背景进行了比较全面的叙述和补充,弥补了有关文献的背景缺陷;以多元对称式的对称全集、对称结构和对称补为切入点,探讨了多元对称不等式的构造规律;提出了大量且具有一般性的多元对称不等式新问题.
来源： 评论
再谈三角形几何不等式的s,R,r分拆证明
收藏
分享
引用
广东第二师范学院学报 2016年 第5期36卷 29-37页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对三角形几何不等式的s,R,r分拆证明进行了探讨,讨论了分拆算法和程序;大量的例子表明,文中的分拆算法虽然只是试探性的,但可以方便地解决一些难度较大的问题;通过带约束条件的非负分拆,解决了一类根式型不等式问题;给出了杨学枝不等式... 详细信息
来源： 评论
不等式自动发现和判定程序agl2010的若干改进及应用
收藏
分享
引用
广东第二师范学院学报 2011年 第3期31卷 13-22页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >>
回到顶部
执行限定条件