2024年8月18日
星期日
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
差分代换
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
刘保乾
作品数:22
被引量:50
H指数:8
供职机构:西藏自治区人事厅
研究主题:差分代换 不等式 多项式 分拆 机器证明
徐嘉
作品数:23
被引量:27
H指数:3
供职机构:西南民族大学计算机科学与技术学院
研究主题:机器证明 定理 代数系统 根式不等式 有理化
杨路
作品数:30
被引量:243
H指数:11
供职机构:中国科学院成都计算机应用研究所
研究主题:机器证明 多项式 结式 几何定理 差分代换
邵俊伟
作品数:7
被引量:4
H指数:1
供职机构:电子科技大学能源科学与工程学院
研究主题:不等式 区间分析 非负性 稳定性 判据
韩京俊
作品数:1
被引量:1
H指数:1
供职机构:北京大学数学科学学院
研究主题:差分代换 终止性
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张