搜索到 篇“ 差分代换 “的相关文章

相关作者

刘保乾
作品数：22被引量：50H指数：8
供职机构：西藏自治区人事厅
研究主题：差分代换 不等式 多项式 分拆 机器证明
徐嘉
作品数：23被引量：27H指数：3
供职机构：西南民族大学计算机科学与技术学院
研究主题：机器证明 定理 代数系统 根式不等式 有理化
杨路
作品数：30被引量：242H指数：11
供职机构：中国科学院成都计算机应用研究所
研究主题：机器证明 多项式 结式 几何定理 差分代换
邵俊伟
作品数：7被引量：4H指数：1
供职机构：电子科技大学能源科学与工程学院
研究主题：不等式 区间分析 非负性 稳定性 判据
韩京俊
作品数：1被引量：1H指数：1
供职机构：北京大学数学科学学院
研究主题：差分代换 终止性