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

• 作者: 郁林珠
• 来源期刊: 大众科技
• 关键词: 计算机 程序 整除 集合
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 网络与通信
• 页码范围: 46-47
• 页数: 2页
• 字数: 3125字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-1151.2004.07.023

摘要

数论是数学领域十分重要的基础理论,而整除理论又是数论的基础.有些数论命题的得出需要经过大量的数值计算来验证.在计算机发明以前,这一过程需要经过数年甚至数代人前赴后继的不断努力才能结束.随着计算机应用的不断普及,这些命题的证明过程变得轻松而快捷.本文叙述了笔者利用计算机辅助解决整除命题的过程,其实,证明本身并不深奥,但过程耐人寻味,特奉献给大家.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郁林珠		1	0	0.0	0.0