On the Role of Inductive Procedure in Mathematical Discovery

• 归纳程序在数学发现中的作用