论文部分内容阅读
在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好.对预先确定的标准如变元个数最少、导数算子阶数最低等,利用根微分理想分解的Rosenfeld-Grobner算法,给出了微分几何定理机器证明中最简单辅助条件的构造性算法.
微分几何定理证明中最简单辅助条件的计算
【摘 要】
：
在微分几何定理证明中,一个定理成立的辅助条件(非退化条件)不是惟一的,但越简单越好.对预先确定的标准如变元个数最少、导数算子阶数最低等,利用根微分理想分解的Rosenfeld-
【机 构】
：
北京大学计算机科学技术系,兰州大学信息科学与工程学院
【出 处】
：
兰州大学学报：自然科学版
【发表日期】
：
2003年1期
【基金项目】
：
国家重点基础研究发展计划(973计划)
其他文献
高校思想政治理论课是对大学生进行思想政治教育的主渠道和主阵地.中国特色社会主义进入新时代, 微信等新媒体给高校思想政治教育工作带来了机遇和挑战.高校思想政治理论课要
<正> 在《"睡觉"古今音义漫议》一文中,杨守静同志认为表睡醒义的"觉"应从古岳切音 jué,只有在"睡觉"已凝合成一个双音词表睡眠义,其中的"觉"才念古孝切,今音为 jiào。杨文
通过对高寒草地不同生境下植物生态位适宜度与生产力（地上生物量）及物种多样性（Shannon多样性指数）关系的研究表明：适宜度与生产力和多样性之间的总体关系均呈正的线性关系，牧草生
差不多在一个半世纪以前,当中国的花鸟画家仍在用那支灵巧的毛笔,和着墨与颜料在绢或宣纸上涂抹着美丽的花朵和小鸟时,西方人则开始举起他们发明的相机.那时,一门新的艺术--
期刊
研究了制氢转化炉用25Cr35NiNb+微合金炉管服役过程中组织演变及其对性能的影响。采用场发射电子显微镜(FE-SEM)对炉管微观组织进行表征,并通过室温拉伸试验机和高温持久试验
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
由复旦大学附属儿科医院和内蒙古自治区包钢三医院（包钢集团第三职工医院）联合主办的2013年复旦-西部小儿泌尿外科学术研讨会暨小儿泌尿外科腔镜技术国家级继续教育学习班拟定
目的:研究孕期健康教育在产科门诊护理中的临床应用。方法选取在我产科门诊检查的60例孕妇为研究对象,随机将其分为观察组和对照组,每组30例。对照组采用常规式孕期健康教育