数学机械化

作品数：274被引量：250H指数：8
导出分析报告
相关领域：理学更多>>
相关作者：傅海伦高小山石赫张景中曾振柄更多>>
相关机构：大连理工大学中国科学院数学与系统科学研究院中国科学院上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划中国石油天然气股份公司油气勘探超前共性科技项目中国科学院知识创新工程更多>>
只显示领域
只显示作品
只显示人物
只显示机构
只显示资助
只显示期刊
只显示主题
相关作者更多
傅海伦
山东师范大学数学系
高小山
中国科学院系统科学...
石赫
中国科学院系统科学...
张景中
电子科技大学
曾振柄
华东师范大学软件学...
吴文俊
中国科学院数学与系...
相关机构更多
相关主题更多