An Extension of Liouville’s Theorem on Integration in Finite Terms
From MaRDI portal
Publication:3695362
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
algorithmerror functionlogarithmic integralelementary functionsLiouville's theoremFresnel integralsintegration in finite terms
Related Items
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