聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 差分代换与不等式机器证明
出处:广州大学学报:自然科学版 2006年第2期 1-7,共7页
摘要:设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按... 显示全部
关键词: 不等式机器证明 半正定 差分代换 平凡非负性 差分代换平凡
在线阅读 下载全文
找到1条结果
`