The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs | Scientia Series A: Mathematical Sciences

PDF

Published: 2025-08-08

DOI: https://doi.org/10.71712/

Keywords:

Integrals, automatic proofs

Christoph Koutschan

Department of Mathematics, Tulane University, New Orleans, LA 70118, USA

Victor H. Moll

Department of Mathematics, Tulane University, New Orleans, LA 70118, USA

Abstract

The evaluation of a selection of entries from the table of integrals by Gradshteyn and Ryzhik is presented using the symbolic software package HolonomicFunctions.

Downloads

Download data is not yet available.

Issue

Section

Articles

© 2026 The Author(s). Published By Universidad Técnica Federico Santa María

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

How to Cite

Christoph Koutschan, & Victor H. Moll. (2025). The integrals in Gradshteyn and Ryzhik. Part 18: Some automatic proofs. Scientia Series A: Mathematical Sciences, 20, 93-111. https://doi.org/10.71712/

Most read articles by the same author(s)

Khristo N. Boyadzhiev, Victor H. Moll, The integrals in Gradshteyn and Ryzhik. Part 21: Hyperbolic functions , Scientia Series A: Mathematical Sciences: Vol. 22 (2012)
Larry Glasser, Karen T. Kohl, Christoph Koutschan, Victor H. Moll, Armin Straub, The integrals in Gradshteyn and Ryzhik. Part 22: Bessel-K functions , Scientia Series A: Mathematical Sciences: Vol. 22 (2012)
Mackenzie Bookamer, Peter Carroll, Saul Alejandro Chavez Mu˜noz, Sam DeMarinis, Harry Feldman, Russell George, Sarah Helmbrecht, Walter Herasymiuk, Julian Huddell, Caroline Kovalan, Isabella Kulstad, Maggie Lai, Melanie McAdoo, Henry Miller, Victor H. Moll, Arzaan Singh, Ellie Stevenson, Maggie Welland, The integrals in Gradshteyn and Ryzhik: Part 33: Sines and cosines of multiple and of linear and more complicated functions of the argument , Scientia Series A: Mathematical Sciences: Vol. 33 (2023)
Tewodros Amdeberhan, Atul Dixit, Xiao Guan, Lin Jiu, Alexey Kuznetsov, Victor H. Moll, Christophe Vignat, The integrals in Gradshteyn and Ryzhik. Part 30: Trigonometric functions. , Scientia Series A: Mathematical Sciences: Vol. 27 (2016)
Victor H. Moll, The integrals in Gradshteyn and Ryzhik. Part 13: Trigonometric forms of the beta function , Scientia Series A: Mathematical Sciences: Vol. 19 (2010)
Tewodros Amdeberhan, Victor H. Moll, Khristo N. Boyadzhiev, The integrals in Gradshteyn and Ryzhik. Part 17: The Riemann zeta function , Scientia Series A: Mathematical Sciences: Vol. 20 (2010)
Stefan Boettner, Victor H. Moll, The integrals in Gradshteyn and Ryzhik. Part 16: Complete elliptic integrals , Scientia Series A: Mathematical Sciences: Vol. 20 (2010)
Victor H. Moll, Karen T. Kohl, The integrals in Gradshteyn and Ryzhik. Part 20: Hypergeometric functions , Scientia Series A: Mathematical Sciences: Vol. 21 (2011)
Kim McInturf, Victor H. Moll, The integrals in Gradshteyn and Ryzhik. Part 24: Polylogarithm functions , Scientia Series A: Mathematical Sciences: Vol. 23 (2012)
Victor H. Moll, Christophe Vignat, The integrals in Gradshteyn and Ryzhik. Part 29: Chebyshev polynomials , Scientia Series A: Mathematical Sciences: Vol. 27 (2016)

1 2 > >>