论文降重
免费查重
数学定理的机械化证明
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (2)
同被引文献 (0)
二级引证文献 (2)
2004(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2008(1)
- 引证文献（1）
- 二级引证文献（0）
2012(1)
- 引证文献（0）
- 二级引证文献（1）
2015(1)
- 引证文献（0）
- 二级引证文献（1）
2017(1)
- 引证文献（1）
- 二级引证文献（0）
引文网络交叉学科
相关学者/机构
期刊影响力
高等数学研究
主办单位：
西北工业大学
陕西省数学会
出版周期：
双月刊
ISSN：
1008-1399
CN：
61-1315/O1
开本：
16开
出版地：
西安市西北工业大学内
邮发代号：
52-192
创刊时间：
1954
语种：
chi
出版文献量（篇）
3527
总下载数（次）
11
总被引数（次）
7332
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
高等数学研究2022
高等数学研究2021
高等数学研究2020
高等数学研究2019
高等数学研究2018
高等数学研究2017
高等数学研究2016
高等数学研究2015
高等数学研究2014
高等数学研究2013
高等数学研究2012
高等数学研究2011
高等数学研究2010
高等数学研究2009
高等数学研究2008
高等数学研究2007
高等数学研究2006
高等数学研究2005
高等数学研究2004
高等数学研究2003
高等数学研究2002
高等数学研究2001
