胞腔分解

作品数：3被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：杨路冯勇姚勇陈世平刘忠更多>>
相关机构：华东师范大学中国科学院成都计算机应用研究所四川省商贸学校广州大学更多>>
相关期刊：《广州大学学报（自然科学版）》《计算机应用研究》更多>>
相关基金：国家重点基础研究发展计划中国科学院知识创新工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类三角形几何不等式的自动证明被引量：4
《计算机应用研究》2012年第5期1732-1736,共5页陈世平 刘忠 
讨论了一类只含三角函数的三角形几何不等式的自动证明问题。运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和实根分离的算法实现了二元多项式不等式的自动证明,输出的证...
关键词：几何不等式 可读证明 有理化 实根分离 胞腔分解 
Tarski模型外的一类机器可判定问题被引量：3
《中国科学（A辑）》2007年第5期513-522,共10页杨路 姚勇 冯勇 
国家重点基础研究发展规划基金资助项目(批准号:2004CB318003)
利用对称多项式的降维方法和证明代数不等式的胞腔分解方法,给出了一个实用的算法,用于判定一类变元个数也是变量的多项式正性命题．这是一类在Tarski模型外的机器可判定问题．在Maple平台上,根据该算法设计的程序nprove,可以快速实现...
关键词：对称多项式不等式 胞腔分解 Tarski模型 机器可判定问题 
计算机怎样证明几何不等式
《广州大学学报（自然科学版）》2004年第2期97-106,179,共11页杨路 
国家973计划(NKBRSF-G1998030602);中国科学院知识创新工程资助项目
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效.对一类代数结构较为简...
关键词：自动证明 几何不等式 构造性几何定理 半代数系统 胞腔分解 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部