-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=统计总体采集标准 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于概率检测组合模型的几何定理证明器被引量：1
《系统科学与数学》2015年第6期627-644,共18页陈明雁 曾振柄 
教育部博士点基金(20110076110010);国家自然科学基金(11471209)资助课题
以概率性算法代替传统的确定性算法可快速证明复杂度很高的几何定理,可大幅度提高证明效率.对估算多项式中独立变元次数上界的算法进行了改进,并提出三种统计总体的采集标准,分析两种不同的实例检验方法,结合Schwartz-Zippel定理与统计...
关键词：几何定理机器证明 概率性算法 变元次数的上界 统计总体采集标准 概率检测组合模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部