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

限定检索结果

文献类型

  • 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 篇 刘保乾
  • 14 篇 liu bao-qian
  • 11 篇 liu baoqian
  • 3 篇 liu xiaoxie
  • 3 篇 yang yaru
  • 3 篇 郑洁皎
  • 3 篇 杨延砚
  • 3 篇 wang yiji
  • 3 篇 xuguangxu
  • 3 篇 zeng bin
  • 3 篇 田益凡
  • 3 篇 chen di
  • 3 篇 tian yifan
  • 3 篇 刘小燮
  • 3 篇 qiu zhuoying
  • 3 篇 张鸣生
  • 3 篇 ye haiyan
  • 3 篇 王一吉
  • 3 篇 张萌
  • 3 篇 叶海燕

语言

  • 37 篇 中文
检索条件"机构=西藏自治区组织编制信息管理中心"
共 37 条 记 录，以下是21-30 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
磨光集新探
收藏
分享
引用
汕头大学学报（自然科学版） 2018年 第3期33卷 30-38页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
本文以不等式的式商及标准数据为切入点,对磨光集进行了新的探索;编写了应用程序;给出了大量的实例及不等式自动发现新结果.
来源： 评论
两个不等式通用模型及其应用
收藏
分享
引用
广东第二师范学院学报 2013年 第3期33卷 14-24页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了两个不等式通用模型,以这两个模型为基础设计了若干不等式自动发现命令,从而进一步完善了不等式自动发现与判定程序agl2010的功能,得到应用程序xhhj;给出了大量类型丰富的不等式(恒等式)自动发现实例;加强或推广了一些著名不等式... 详细信息
来源： 评论
不等式自动发现与判定程序agl2012功能的若干拓展
收藏
分享
引用
广东第二师范学院学报 2014年 第5期34卷 28-35页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对不等式自动发现与判定程序agl2012进行了新的完善和补充,拓展了部分功能;介绍了程序使用的一些技巧;给出了大量的自动发现实例.
来源： 评论
用系统分解法研究不等式及其他
收藏
分享
引用
广东第二师范学院学报 2011年 第5期31卷 11-17页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了用系统分解法研究不等式的思路和方法,以实例方式介绍了这种方法的应用;提出了聚合集和聚合量级的概念.从而为量级研究提供了新视角和新课题;最后给出3个待解决的不等式问题.
来源： 评论
三角形非常规性元素的不等式
收藏
分享
引用
广东第二师范学院学报 2018年 第5期38卷 13-21页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
在已有研究的基础上,提出了三角形非常规性元素的概念,从而扩展了几何不等式的研究范围;以三角形非常规性元素为研究对象,构造了大量新颖优美的不等式,并证得部分结果.
来源： 评论
不等式的非负分拆新探
收藏
分享
引用
汕头大学学报（自然科学版） 2023年 第4期38卷 20-32页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
应用符号运算软件Maple的多项式运算命令quo和rem,结合随机数验证程序,提出了一种不等式的非负分拆方法;通过大量的实例给出了这个非负分拆方法在证明三角形几何不等式和代数不等式方面的应用.提出了一个n元不等式问题.
来源： 评论
多项式非负分拆算法的若干改进和补充
收藏
分享
引用
汕头大学学报（自然科学版） 2013年 第3期28卷 18-28页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
对agl2012_lsos程序进行了若干改进,扩大了程序的功能和应用范围;得到了多项式SOS表示的算法和程序;对锐角三角形不等式实现了分拆证明;提供了用智能模拟研究多项式不等式的2个案例;讨论了相关的问题.
来源： 评论
不等式的秩序图再探讨
收藏
分享
引用
广东第二师范学院学报 2017年 第3期37卷 26-35页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
以不等式自动发现与判定程序agl2012为工具,对求解一个给定数据集秩序图的算法和步骤进行了讨论,并编写了应用程序,部分解答了《三角形几何量的秩序图和量级图初探》中的问题;解决了简单图的情形;对不是简单图的情形,探讨了解决的方法;... 详细信息
来源： 评论
不等式研究的三个专题
收藏
分享
引用
广东第二师范学院学报 2018年 第3期38卷 25-31页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
以专题的形式,讨论模型思想发现不等式的新例子,用锐角三角形代换法证明代数不等式以及秩序图算法的改进和优化;给出若干不等式新结果;提出待解决的问题.
来源： 评论
不等式自动发现与判定程序agl2012典型应用9例
收藏
分享
引用
广东第二师范学院学报 2016年 第3期36卷 13-22页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
收集了不等式自动发现与判定程序agl2012的9个应用实例.这些实例展现了agl2012程序的强大功能,为研究应用提供现成的模板和参考.总结了软件使用的策略和技巧,开启了相应的研究课题(一些课题内容是首次提出的,如乘积型不等式的局部对称... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共4页 <<  < 1 2 3 4 >  >>
回到顶部
执行限定条件