10.3969/j.issn.1008-1151.2004.07.023
计算机辅助整除命题证明初探
数论是数学领域十分重要的基础理论,而整除理论又是数论的基础.有些数论命题的得出需要经过大量的数值计算来验证.在计算机发明以前,这一过程需要经过数年甚至数代人前赴后继的不断努力才能结束.随着计算机应用的不断普及,这些命题的证明过程变得轻松而快捷.本文叙述了笔者利用计算机辅助解决整除命题的过程,其实,证明本身并不深奥,但过程耐人寻味,特奉献给大家.
计算机、程序、整除、集合
R91;R81
2005-06-09(万方平台首次上网日期,不代表论文的发表时间)
共2页
46-47