咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
双退化取等不等式研究
收藏 引用
汕头大学学报(自然科学版) 2024年 第2期39卷 31-44页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了建立双退化取等不等式的五个步骤;并用这五个步骤建立了若干对称型、轮换对称型、局部对称型双退化取等不等式,并实现了双退化取等不等式的自动发现;对全退化不等式和直角关联取等不等式进行了初步讨论。
来源: 评论
再谈多项式的平方型分拆
收藏 引用
佛山科学技术学院学报(自然科学版) 2010年 第5期28卷 43-50页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
得到了多项式平方型分拆和1次方分拆的算法和Maple应用程序;证明了变元相等取值为零的多项式总是可以进行1次方分拆的;发现了平方型多项式线性空间的维数与同元同次半正定多项式线性空间的维数总是相等的;差分代换缺项多项式总可以进行... 详细信息
来源: 评论
三角形不等式判定程序agl2009的改进及应用
收藏 引用
佛山科学技术学院学报(自然科学版) 2011年 第1期29卷 24-32页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想。
来源: 评论
四边形不等式的自动发现
收藏 引用
汕头大学学报(自然科学版) 2012年 第2期27卷 9-17页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不... 详细信息
来源: 评论
不等式自动发现与判定程序agl2010的若干新改进
收藏 引用
汕头大学学报(自然科学版) 2014年 第1期29卷 33-41页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔... 详细信息
来源: 评论
两组变元齐次多项式的平方分拆
收藏 引用
广东第二师范学院学报 2013年 第5期33卷 25-32页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
讨论了两组变元齐次多项式的平方分拆算法,并编写了应用程序;给出了多项式SOS表示分拆项通用构造程序;对带约束条件多项式不等式的分拆证明进行了新探讨;众多例子表明算法和程序是实用而有效的.
来源: 评论
三角形几何量的秩序图和量级图初探
收藏 引用
汕头大学学报(自然科学版) 2016年 第4期31卷 30-39页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
以不等式自动发现与判定程序agl2010为工具,通过对已知不等式进行隔离研究,提出了研究三角形几何不等式的有向图表示方法,并绘制了三角形中部分几何量的秩序图和量级图;讨论了秩序图和量级图的数据描述结构;隔离了一些著名不等式结果;... 详细信息
来源: 评论
磨光集及其应用
收藏 引用
汕头大学学报(自然科学版) 2015年 第2期30卷 44-55页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了磨光集的概念,并详述了计算磨光集的算法和程序;讨论了磨光集在发现不等式、三角形不等式分拆证明及在量级研究中的应用;给出了关于R,r和s的三角形不等式的试探性分拆程序.
来源: 评论
用差分代换方法估算最佳值及其他
收藏 引用
汕头大学学报(自然科学版) 2011年 第1期26卷 27-34页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
如果一个多项式差分代换集中各个代换式的系数均是非负的,则这个多项式必然是正半定的,利用这个定理提出了一种估算最佳值的思路和方法;给出了对称多项式用k次方幂和表示的通用程序fmhbs,并以fmhbs程序为基础,介绍了发现n元k次方幂和不... 详细信息
来源: 评论
再谈不等式自动发现与判定程序agl2010的改进和应用
收藏 引用
汕头大学学报(自然科学版) 2012年 第1期27卷 14-23页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对不等式自动发现与判定程序agl2010的功能进行了若干改进,通过15个具体实例演示了程序的强大功能;利用agl算法得到了一类三角形几何不等式最佳系数的估算方法;结合Bottema软件的xprove命令,得到了一种带约束条件不等式自动发现的设计方... 详细信息
来源: 评论