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

相关作者

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