摘要
给出了分部积分公式的推广形式。
A generalization of formula of integration by parts is given and formalized arithmetic of indefinite integral has been discussed .
出处
《宝鸡文理学院学报（自然科学版）》
CAS
1999年第2期69-71,共3页
Journal of Baoji University of Arts and Sciences(Natural Science Edition)
关键词
分部积分
原函数
形式化
积分
integration by parts
n-th primitive function
formalized arithmetic
