根式不等式

作品数：40被引量：29H指数：2
导出分析报告
相关领域：文化科学理学更多>>
相关作者：徐嘉罗增儒唐建国戴志祥姚勇更多>>
相关机构：陕西师范大学零陵学院华东师范大学绍兴市高级中学更多>>
相关期刊：《中学数学》《西南民族大学学报（自然科学版）》《计算机学报》《数理化学习（高中版）》更多>>
相关基金：中国科学院知识创新工程重要方向项目国家重点基础研究发展计划湖南省教育厅科研基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类根式不等式的有理化算法与机器证明被引量：12
《计算机学报》2008年第1期24-31,共8页徐嘉 姚勇 
国家"九七三"重点基础研究发展规划项目基金(2004CB318003);中国科学院知识创新工程重要方向项目(KJCX-YW-S02)资助
文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合...
关键词：根式不等式 有理化 不等式机器证明 差分代换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部