An Extension of Liouville’s Theorem on Integration in Finite Terms

DOI10.1137/0214069zbMath0575.12021OpenAlexW2037327216MaRDI QIDQ3695362

B. F. Caviness, Michael F. Singer, B. David Saunders

Publication date: 1985

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0214069

zbMATH Keywords

algorithmerror functionlogarithmic integralelementary functionsLiouville's theoremFresnel integralsintegration in finite terms

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05)

Related Items (21)

Comments on Rosenlicht’s Integration in Finite Terms ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Computer algebra: Past and future ⋮ Linear differential equations in exponential extensions ⋮ Elementary and Liouvillian solutions of linear differential equations ⋮ Differential and difference algebra ⋮ Hardy's Reduction for a Class of Liouville Integrals of Elementary Functions ⋮ Liouville's theorem on integration in finite terms for \(\mathrm{D}_\infty , \mathrm{SL}_2\), and Weierstrass field extensions ⋮ Integration in finite terms with dilogarithmic integrals, logarithmic integrals and error functions ⋮ Integration in finite terms: dilogarithmic integrals ⋮ A refined difference field theory for symbolic summation ⋮ Liouvillian solutions of linear differential equations with Liouvillian coefficients ⋮ Integration in finite terms with elementary functions and dilogarithms ⋮ Integration of a class of transcendental Liouvillian functions with error-functions. I ⋮ A note on symbolic integration with polylogarithms ⋮ Structural theorems for symbolic summation ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Effective Set Membership in Computer Algebra and Beyond ⋮ Formal solutions of differential equations ⋮ Nested Integrals and Rationalizing Transformations ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals

This page was built for publication: An Extension of Liouville’s Theorem on Integration in Finite Terms