计算机辅助整除命题证明初探

来源 :大众科技 | 被引量 : 0次 | 上传用户:shaw1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
数论是数学领域十分重要的基础理论,而整除理论又是数论的基础.有些数论命题的得出需要经过大量的数值计算来验证.在计算机发明以前,这一过程需要经过数年甚至数代人前赴后继的不断努力才能结束.随着计算机应用的不断普及,这些命题的证明过程变得轻松而快捷.本文叙述了笔者利用计算机辅助解决整除命题的过程,其实,证明本身并不深奥,但过程耐人寻味,特奉献给大家.
其他文献
1931年10月9日,汪仲屏、舒立庭、何见炎三人被国民党反动派杀害于九江县老港口镇横坝头。我们永远不会忘记革命烈士用鲜血换来的幸福生活,永远学习和发扬他们一不怕苦、二不
随着计算机应用技术的普及和信息技术的发展,越来越多的信息管理数据库系统被用于我们日常的工作管理中,如何时系统运行过程中积累的大量数据进行分析,找到有用的知识是决策者需
文章简要介绍了电力线载波抄表技术,并以低频超窄带抄表为例,说明了如何利用SystemView进行系统仿真.
目的:观察氨溴特罗口服溶液治疗小儿急性支气管炎的临床效果。方法:选取2015年12月至2016年12月在我中心综合门诊治疗的68例急性支气管炎患儿,随机均分为对照组和观察组,对照组
目的:探讨急性脑梗死患者静脉溶栓前行MRI检查的安全性。方法:对我院于2014年1月至2016年2月收治的102例急性脑梗死患者静脉溶栓前进行MRI检查。观察记录患者的发病时间、急诊
目的:探讨老年2型糖尿病患者有氧运动前后空腹血糖、早餐后2h血糖、Hb A1c、肺功能的变化。方法:选择2014年6月至2015年12月在我院就诊的老年2型糖尿病患者56例,检测患者有氧运
园林花木是塑造园林景观的重要材料,它的成活率直接影响景观效果,所以如何提高园林花木的移植成活率是体现景观效果快慢的重要环节。文章从绿化工程施工流程的各个环节,具体介绍
目的:观察Drainobag真空高负压引流瓶在髂腹股沟淋巴结清扫术中的临床效果。方法:将24例髂腹股沟淋巴结清扫术患者分为观察组(12例)和对照组(12例),观察组采用Drainobag真空高负压
萍乡是一片红色沃土。为把红色资源利用好、把红色传统发扬好、把红色基因传承好,近年来,萍乡市委深入挖掘并传承弘扬"淡泊名利、艰苦奋斗,一生为党、一心为民"的甘祖昌精神,