In this paper, using the mathematical induction, a class of compulational formulas for the multipleintegral is proved.
得到了一类多重积分的计算公式,并运用数学归纳法给出了证明。
In addition, the method can extract the recursive program when the theorems used in proving are in the recursive forms, and also can extract iterative program by mathematical induction.
利用数学归纳法,使用本算法可以抽取循环程序。