Poisson核 热核 Weierstrass第一定理 变量有上界的线性规划 Petkovek算法 Pecaric不等式 WZ偶 非紧致一秩对称空间 Minkowski不等式 闭形式 不定超几何和 含参变量积分 不等式的构成函数 Weierstrass不等式 渐近估计 Zeilberger算法 基可行解 基解 积分第一中值定理 微积分基本定理 微分中值定理 WZ方法 WZ方程 H（?）lder不等式 定超几何和

华南师范大学数学系 华南师范大学数学科学学院 广东广州