归纳证明相关论文
摘要：近几年各省、市数学中考题中不断出现“新定义”型问题，所谓“新定义”型问题，主要是指在问题中定义了中学数学中没有学过的一些......
1 引言rn归纳法是刻划软硬件行为和性质的一种重要方法,归纳证明的自动化始终是一个研究热点.近二十年来,涌现出了大批证明方法和......
