tutorial

Symbolic Computation of Parameter Integrals

Author:

Clemens G. RaabAuthors Info & Claims

ISSAC '16: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation

Pages 13 - 15

https://doi.org/10.1145/2930889.2930940

Published: 20 July 2016 Publication History

Abstract

Integrals are important to many applications ranging from physics over engineering to statistics. While systematic methods for symbolic computation of integrals have a long history, computer algebra tools for computation of parameter integrals are a more recent topic. For computing (definite) parameter integrals, one does not necessarily need to know an explicit antiderivative of the integrand, such computations often rely on techniques like differentiation under the integral sign instead.

References

[1]

G. E. T. Almkvist and D. Zeilberger. The method of differentiating under the integral sign. J. Symb. Comput., 10:571--591, 1990.

Digital Library

[2]

M. Apagodu and D. Zeilberger. Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory. Adv. Appl. Math., 37:139--152, 2006.

Digital Library

[3]

S. T. Boettner, Mixed Transcendental and Algebraic Extensions for the Risch-Norman Algorithm, PhD Thesis, Tulane Univ., New Orleans, USA, 2010.

[4]

A. Bostan, S. Chen, F. Chyzak, Z. Li, and G. Xin. Hermite Reduction and Creative Telescoping for Hyperexponential Functions. In Proc. ISSAC 2013, pp. 77--84, 2013.

Digital Library

[5]

M. Bronstein. Integration of Elementary Functions. J. Symb. Comput., 9:117--173, 1990.

Digital Library

[6]

M. Bronstein. Symbolic Integration I -- Transcendental Functions. 2nd ed., Springer, 2005.

Digital Library

[7]

S. Chen, M. Kauers, and C. Koutschan. A Generalized Apagodu-Zeilberger Algorithm. In Proc. ISSAC 2014, pp. 107--114, 2014.

Digital Library

[8]

S. Chen, M. Kauers, and M. F. Singer. Telescopers for Rational and Algebraic Functions via Residues. In Proc. ISSAC 2012, pp. 130--137, 2012.

Digital Library

[9]

G. W. Cherry. Integration in Finite Terms with Special Functions: the Error Function. J. Symb. Comput., 1:283--302, 1985.

Digital Library

[10]

G. W. Cherry. Integration in finite terms with special functions: the logarithmic integral. SIAM J. Comput., 15:1--21, 1986.

Digital Library

[11]

F. Chyzak. An extension of Zeilberger's fast algorithm to general holonomic functions. Discrete Math., 217:115--134, 2000.

Digital Library

[12]

F. Chyzak. The ABC of Creative Telescoping -- Algorithms, Bounds, Complexity. Habilitation à diriger des recherches (HDR), Univ. Paris-Sud 11, France, 2014. http://specfun.inria.fr/chyzak/Chyzak-2014-ABC.pdf

[13]

F. Chyzak, M. Kauers, and B. Salvy. A Non-Holonomic Systems Approach to Special Function Identities. In Proc. ISSAC 2009, pp. 111--118, 2009.

Digital Library

[14]

F. Chyzak and B. Salvy. Non-commutative elimination in Ore algebras proves multivariate identities. J. Symb. Comput., 26:187--227, 1998.

Digital Library

[15]

K. O. Geddes, M. L. Glasser, R. A. Moore, T. C. Scott. Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions. Appl. Alg. Eng. Comm. Comp., 1:149--165, 1990.

[16]

C. Koutschan. Creative Telescoping for Holonomic Functions. In Computer Algebra in Quantum Field Theory, pp. 171--194, Springer, 2013.

[17]

A. C. Norman and P. M. A. Moore. Implementing the new Risch Integration algorithm. In Proc. 4th International Colloquium on Advanced Computing Methods in Theoretical Physics, pp. 99--110, 1977.

[18]

A. van der Poorten. A Proof that Euler Missed... Apéry's Proof of the Irrationality of ζ(3)$ -- An Informal Report. Math. Intelligencer, 1:195--203, 1979.

[19]

C. G. Raab. Definite Integration in Differential Fields. PhD Thesis, Johannes Kepler Univ. Linz, Austria, 2012. http://www.risc.jku.at/publications/download/risc_4583/PhD_CGR.pdf

[20]

R. H. Risch. The problem of integration in finite terms. Trans. Amer. Math. Soc., 139:167--189, 1969.

[21]

M. Rosenlicht. Liouville's theorem on functions with elementary integrals. Pacific J. Math., 24:153--161, 1968.

[22]

C. Schneider. A difference ring theory for symbolic summation. J. Symb. Comput., 72:82--127, 2016.

Digital Library

[23]

M. F. Singer, B. D. Saunders, and B. F. Caviness. An Extension of Liouville's Theorem on Integration in Finite Terms. SIAM J. Comput., 14:966--990, 1985.

Digital Library

[24]

N. Takayama. An algorithm of constructing the integral of a module -- an infinite dimensional analog of Gröbner basis. In Proc. ISSAC'90, pp. 206--211, 1990.

Digital Library

[25]

B. M. Trager. Integration of simple radical extensions. In Proc. EUROSAM'79, pp. 408--414, 1979.

Digital Library

[26]

B. M. Trager. Integration of algebraic functions. PhD Thesis, MIT, USA, 1984.

[27]

D. Zeilberger. A holonomic systems approach to special functions identities. J. Comp. Appl. Math., 32:321--368, 1990.

Digital Library

[28]

D. Zeilberger. The Method of Creative Telescoping. J. Symb. Comput., 11:195--204, 1991.

Digital Library

Cited By

Raab C(2022)Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic OperationsIntegration in Finite Terms: Fundamental Sources10.1007/978-3-030-98767-1_6(217-229)Online publication date: 7-Jun-2022
https://doi.org/10.1007/978-3-030-98767-1_6
Raab C(2021)Nested Integrals and Rationalizing TransformationsAnti-Differentiation and the Calculation of Feynman Amplitudes10.1007/978-3-030-80219-6_16(395-422)Online publication date: 10-Jul-2021
https://doi.org/10.1007/978-3-030-80219-6_16
Chen SDavenport JWang DKauers MBradford R(2019)A Reduction Approach to Creative TelescopingProceedings of the 2019 International Symposium on Symbolic and Algebraic Computation10.1145/3326229.3326277(11-14)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.1145/3326229.3326277

Index Terms

Symbolic Computation of Parameter Integrals
1. Computing methodologies
  1. Symbolic and algebraic manipulation
    1. Symbolic and algebraic algorithms
      1. Symbolic calculus algorithms

Recommendations

Symbolic integration: the stormy decade

Three approaches to symbolic integration in the 1960's are described. The first, from artificial intelligence, led to Slagle's SAINT and to a large degree to Moses' SIN. The second, from algebraic manipulation, led to Manove's implementation and to ...
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions
ISSAC '18: Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation

Hermite reduction is a classical algorithmic tool in symbolic integration. It is used to decompose a given rational function as a sum of a function with simple poles and the derivative of another rational function. We extend Hermite reduction to ...
Formally Verified Approximations of Definite Integrals

Finding an elementary form for an antiderivative is often a difficult task, so numerical integration has become a common tool when it comes to making sense of a definite integral. Some of the numerical integration methods can even be made rigorous: not ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ISSAC '16: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation

July 2016

434 pages

ISBN:9781450343800

DOI:10.1145/2930889

General Chairs:
Sergei Abramov
Russian Academy of Sciences, Russia
,
Eugene Zima
Wilfrid Laurier University, Canada
,
Program Chair:
Xiao-Shan Gao
Chinese Academy of Sciences, China

Copyright © 2016 Owner/Author.

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 July 2016

Check for updates

Author Tags

Qualifiers

Tutorial

Funding Sources

Austrian Science Fund

Conference

ISSAC '16

Sponsor:

SIGSAM

ISSAC '16: International Symposium on Symbolic and Algebraic Computation

July 20 - 22, 2016

ON, Waterloo, Canada

Acceptance Rates

Overall Acceptance Rate 395 of 838 submissions, 47%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
87
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Raab C(2022)Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic OperationsIntegration in Finite Terms: Fundamental Sources10.1007/978-3-030-98767-1_6(217-229)Online publication date: 7-Jun-2022
https://doi.org/10.1007/978-3-030-98767-1_6
Raab C(2021)Nested Integrals and Rationalizing TransformationsAnti-Differentiation and the Calculation of Feynman Amplitudes10.1007/978-3-030-80219-6_16(395-422)Online publication date: 10-Jul-2021
https://doi.org/10.1007/978-3-030-80219-6_16
Chen SDavenport JWang DKauers MBradford R(2019)A Reduction Approach to Creative TelescopingProceedings of the 2019 International Symposium on Symbolic and Algebraic Computation10.1145/3326229.3326277(11-14)Online publication date: 8-Jul-2019
https://dl.acm.org/doi/10.1145/3326229.3326277

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents