Reduction systems and degree bounds for integration

DOI10.1016/J.JSC.2025.102432MaRDI QIDQ7005499zbMATH OpenFDO

Authors Hao Du, Clemens G. Raab

Publication date 1 April 2025

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JSC.2025.102432

zbMATH Keywords

completion processinfinite reduction systemsRisch-Norman algorithmsymbolic integration

Mathematics Subject Classification ID

Integration of real functions of several variables: length, area, volume (26B15) Numerical integration (65D30)

Cites work

• A new algorithm for computing staggered linear bases
• About the resolution of a system of infinitely many linear equations.
• Airy functions and applications to physics
• An additive decomposition in logarithmic towers and beyond
• An extension of the parallel Risch algorithm
• Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
• scientific article; zbMATH DE number 3856396 (Why is no real title available?)
• scientific article; zbMATH DE number 1253980 (Why is no real title available?)
• scientific article; zbMATH DE number 1263375 (Why is no real title available?)
• scientific article; zbMATH DE number 872231 (Why is no real title available?)
• Liouville's theorem on functions with elementary integrals
• On the construction of staggered linear bases
• On the parallel Risch Algorithm (II)
• On the parallel Risch algorithm (III)
• Proof of Recursive Unsolvability of Hilbert's Tenth Problem
• Structure theorems for parallel integration
• Symbolic integration I: Transcendental functions
• Term Rewriting and All That
• The Problem of Integration in Finite Terms

This page was built for publication: Reduction systems and degree bounds for integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7005499)