Integral D-Finite Functions

2015/01/31 by Manuel Kauers, Christoph Koutschan · 1 citation
Computer Science · Mathematics · #cs.SC #math.RA

paper · pdf · doi:10.1145/2755996.2756658

published as Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), pages 251-258, 2015. ACM, New York, USA, ISBN 978-1-4503-3435-8

arxiv created 2015/06/30 · arxiv updated 2015/07/01

Abstract

We propose a differential analog of the notion of integral closure of algebraic function fields. We present an algorithm for computing the integral closure of the algebra defined by a linear differential operator. Our algorithm is a direct analog of van Hoeij's algorithm for computing integral bases of algebraic function fields.

Cited by

• Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability

Related

• Operations for D-Algebraic Functions
• D-Algebraic Functions
• An algorithm for computing the integral closure
• Hermite Reduction for D-finite Functions via Integral Bases
• Integral Closures In Real Algebraic Geometry