Abstract
In this paper, we aim at using the elimination in Weyl algebra to give an algorithm for proving the identities with integral sign. Then, we test several examples that have been proved by D. Zeilberger.
Similar content being viewed by others
References
D. Zeilberger, A holonomic systems approach to special functions identities, J. of Computational and Applied Math., 1990, 32: 321–368.
G. Almkvist and D. Zeilberger, The method of differentiation under the integral sign, J. Symbolic Computation, 1990, 10: 571–591.
F. Chyzak and B. Salvy, Non-commutative elimination in ore algebras proves multivariate indentities, J. Symbolic Computation, 1998, 26: 187–227.
W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, J. Sys. Sci. & Math. Sci., 1984, 4: 207–235.
H. S. Wilf and D. Zeilberger, An algorithmic proof theory for hypergeomitric (ordinary and “q”) multisum/integral identities, Invent. Math., 1992, 108: 575–633.
Author information
Authors and Affiliations
Corresponding author
Additional information
This research is supported by Wu Foundation.
Rights and permissions
About this article
Cite this article
Liu, H., Wang, T. Elimination and Identities with the Integral Sign. Jrl Syst Sci & Complex 19, 470–477 (2006). https://doi.org/10.1007/s11424-006-0470-0
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/s11424-006-0470-0