期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
不等式机器证明的降维算法与通用程序 被引量：30
1
作者 杨路 《高技术通讯》 EI CAS CSCD 1998年第7期20-25,共6页
提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０... 提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０几秒。 展开更多
关键词 降维算法 结式 临界曲面 判别曲面 机器证明
下载PDF
双参数曲面族的包络面
2
作者 林元重 《萍乡高等专科学校学报》 2000年第4期19-21,共3页
本文讨论双参数曲面族的包络面 。
关键词 双参数曲面族 包络面 判别曲面 微分几何
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部