温州师范学院学报
溫州師範學院學報
온주사범학원학보
JOURNAL OF WENZHOU TEACHERS COLLEGE
2004年
5期
66-70
,共5页
数学归纳法%自动推证%机械化%计算机代数系统
數學歸納法%自動推證%機械化%計算機代數繫統
수학귀납법%자동추증%궤계화%계산궤대수계통
数学归纳法广泛应用于数学以及其它学科上相关定理证明.运用有关数学理论在计算机代数系统Maple下,讨论了算法的实现技术,分析了复杂度与输出结果的关系,在此基础上,设计并实现了数学归纳法可读型自动推证.结果表明,该算法简单正确,相应的程序操作简单,功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.
數學歸納法廣汎應用于數學以及其它學科上相關定理證明.運用有關數學理論在計算機代數繫統Maple下,討論瞭算法的實現技術,分析瞭複雜度與輸齣結果的關繫,在此基礎上,設計併實現瞭數學歸納法可讀型自動推證.結果錶明,該算法簡單正確,相應的程序操作簡單,功能彊大,可以解決歸納法問題的自動推證問題,具有一定的推廣價值.
수학귀납법엄범응용우수학이급기타학과상상관정리증명.운용유관수학이론재계산궤대수계통Maple하,토론료산법적실현기술,분석료복잡도여수출결과적관계,재차기출상,설계병실현료수학귀납법가독형자동추증.결과표명,해산법간단정학,상응적정서조작간단,공능강대,가이해결귀납법문제적자동추증문제,구유일정적추엄개치.