论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 兰州大学学报(自然科学版)期刊 \
微分几何定理证明中最简单辅助条件的计算
微分几何定理证明中最简单辅助条件的计算
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好.对预先确定的标准如变元个数最少、导数算子阶数最低等,利用根微分理想分解的Rosenfeld-Grobner算法,给出了微分几何定理机器证明中最简单辅助条件的构造性算法.
推荐文章
中值定理证明中辅助函数的构造
中值定理
辅助函数
构造
部分微分中值定理在证明不等式中的应用
拉格朗日中值定理
柯西中值定理
不等式
关于Lagrange中值定理证明的探讨
Lagrange定理
辅助函数
构造
浅谈微分中值定理的应用
罗尔定理
拉格朗日定理
柯西定理
应用
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 微分几何定理证明中最简单辅助条件的计算 | ||
| 来源期刊 | 兰州大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 微分几何定理证明 吴方法 Rosenfeld-Grobner算法 辅助条件 | ||
| 年，卷（期） | 2003,（1） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 20-23 | |
| 页数 | 4页 | 分类号 | O155|O186.1 |
| 字数 | 3332字 | 语种 | 中文 |
| DOI | 10.3321/j.issn:0455-2059.2003.01.005 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (4)
节点文献
引证文献 (1)
同被引文献 (1)
二级引证文献 (1)
1989(1)
- 参考文献（1）
- 二级参考文献（0）
1993(1)
- 参考文献（1）
- 二级参考文献（0）
1999(1)
- 参考文献（1）
- 二级参考文献（0）
2000(1)
- 参考文献（1）
- 二级参考文献（0）
2003(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
2007(1)
- 引证文献（1）
- 二级引证文献（0）
2015(1)
- 引证文献（0）
- 二级引证文献（1）
研究主题发展历程
节点文献
微分几何定理证明
吴方法
Rosenfeld-Grobner算法
辅助条件
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
兰州大学学报(自然科学版)
主办单位：
兰州大学
出版周期：
双月刊
ISSN：
0455-2059
CN：
62-1075/N
开本：
16开
出版地：
兰州市东岗西路199号（兰州大学医学校区内）
邮发代号：
54-3
创刊时间：
1957
语种：
chi
出版文献量（篇）
3311
总下载数（次）
5
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
兰州大学学报(自然科学版)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
兰州大学学报(自然科学版)2003年第6期
兰州大学学报(自然科学版)2003年第5期
兰州大学学报(自然科学版)2003年第4期
兰州大学学报(自然科学版)2003年第3期
兰州大学学报(自然科学版)2003年第2期
兰州大学学报(自然科学版)2003年第1期
