论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 华中师范大学学报(自然科学版)期刊 \
从九章消元法到定理机器证明
从九章消元法到定理机器证明
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
讨论了《九章算术》中线性代数方程组的解法-九章消元法蕴涵的构造性思想,这一思想后来被进一步发展,并且在某方面影响着定理的机器证明.
推荐文章
门九章中医临证模式探索
中医临证模式
功能态
功能五态说
整体观
方证对应
门九章
《九章算术》刘徽注中的算法分析工作与算法分析思想
九章算术
刘徽注
算法分析
屈原《九章》思想论
屈原《九章》思想
爱国感情
憎恨与谴责
门九章基于“功能五态”学说应用四逆汤治疗阳虚型慢性腹泻的临证思路探析
四逆汤
《伤寒论》
慢性腹泻
门氏杂病流派
门九章
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 从九章消元法到定理机器证明 | ||
| 来源期刊 | 华中师范大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 消元法 非线性系统 多项式的根 | ||
| 年，卷（期） | 1999,（2） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 179-185 | |
| 页数 | 7页 | 分类号 | O1-4 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1999(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
消元法
非线性系统
多项式的根
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
华中师范大学学报(自然科学版)
主办单位：
华中师范大学
出版周期：
双月刊
ISSN：
1000-1190
CN：
42-1178/N
开本：
大16开
出版地：
武汉市武昌桂子山
邮发代号：
38-39
创刊时间：
1955
语种：
chi
出版文献量（篇）
3391
总下载数（次）
5
总被引数（次）
18993
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
华中师范大学学报(自然科学版)2022
华中师范大学学报(自然科学版)2021
华中师范大学学报(自然科学版)2020
华中师范大学学报(自然科学版)2019
华中师范大学学报(自然科学版)2018
华中师范大学学报(自然科学版)2017
华中师范大学学报(自然科学版)2016
华中师范大学学报(自然科学版)2015
华中师范大学学报(自然科学版)2014
华中师范大学学报(自然科学版)2013
华中师范大学学报(自然科学版)2012
华中师范大学学报(自然科学版)2011
华中师范大学学报(自然科学版)2010
华中师范大学学报(自然科学版)2009
华中师范大学学报(自然科学版)2008
华中师范大学学报(自然科学版)2007
华中师范大学学报(自然科学版)2006
华中师范大学学报(自然科学版)2005
华中师范大学学报(自然科学版)2004
华中师范大学学报(自然科学版)2003
华中师范大学学报(自然科学版)2002
华中师范大学学报(自然科学版)2001
华中师范大学学报(自然科学版)2000
华中师范大学学报(自然科学版)1999
华中师范大学学报(自然科学版)1998
