论文降重
免费查重
几何定理机器证明的方法--吴方法思想的形成
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
基于领域的机器定理证明的研究
领域
分类
定理证明
知识推理
费马大定理的初等证明方法
费马大定理
初等数学方法
因式分解
多项式互素
本体推理在几何定理机器证明中的应用
定理机器证明
本体模型
规则
推理
领域属性
关于代数基本定理的二种证明方法
代数
基本定理
多项式
Cauchy积分
Bronwer度
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (7)
同被引文献 (1)
二级引证文献 (1)
2003(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2007(2)
- 引证文献（2）
- 二级引证文献（0）
2010(3)
- 引证文献（2）
- 二级引证文献（1）
2011(1)
- 引证文献（1）
- 二级引证文献（0）
2013(1)
- 引证文献（1）
- 二级引证文献（0）
2019(1)
- 引证文献（1）
- 二级引证文献（0）
引文网络交叉学科
相关学者/机构
期刊影响力
数学通报
主办单位：
中国数学会
北京师范大学
出版周期：
月刊
ISSN：
0583-1458
CN：
11-2254/O1
开本：
大16开
出版地：
北京市师范大学
邮发代号：
2-501
创刊时间：
1936
语种：
chi
出版文献量（篇）
4979
总下载数（次）
6
总被引数（次）
20767
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
数学通报2022
数学通报2021
数学通报2020
数学通报2019
数学通报2018
数学通报2017
数学通报2016
数学通报2015
数学通报2014
数学通报2013
数学通报2012
数学通报2011
数学通报2010
数学通报2009
数学通报2008
数学通报2007
数学通报2006
数学通报2005
数学通报2004
数学通报2003
数学通报2002
数学通报2001
数学通报2003年第9期
数学通报2003年第8期
数学通报2003年第7期
数学通报2003年第6期
数学通报2003年第5期
数学通报2003年第4期
数学通报2003年第3期
数学通报2003年第2期
数学通报2003年第12期
数学通报2003年第11期
数学通报2003年第10期
数学通报2003年第1期
