自动发现不等式型定理的一个完备算法

来源 :中国科学E辑 | 被引量 : 0次 | 上传用户：lastdemon

【摘要】

：

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不

【作者】

：

杨路侯晓荣夏壁灿

【机构】

：

中国科学院成都计算机应用研究所,北京大学数学科学学院,;

【出处】

：

中国科学E辑

【发表日期】

：

2001年3期

【关键词】

：

判别式序列 WR算法吴消元法柱形代数分解

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法. 该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式. 该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类. 在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理.

其他文献

一类四阶差分方程振动性的充分必要条件

本文给出了四阶差分方程△2(rn△2yn)+f(n,yn)=0, n=0,1,2…的所有解(有界解)振动的一些充分条件和必要条件.

期刊

振动性超(次)线性强超(强次)线性

地域文化视角下城市公园创新设计规划及策略

期刊

β沸石骨架外阳离子分布

运用结构化学理论和多晶X射线散射技术,确定了β沸石骨架外阳离子的位置.这些阳离子随机地分布在β沸石层错结构中6套不同的结晶学位置上,都处于三维通道内靠近六元环,并与6

期刊

β沸石结构骨架外阳离子位置质子酸位

国家级科技成果重点推广计划项目单位——宝田果业移动控温果树月月开花天天果熟