Transcendence Certificates for D-finite Functions

Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches s...

Full description

Saved in:

Bibliographic Details
Published in:	arXiv.org
Main Authors:	Kauers, Manuel, Koutschan, Christoph, Verron, Thibaut
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 19.09.2023
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail.
Bibliography:	SourceType-Working Papers-1 ObjectType-Working Paper/Pre-Print-1 content type line 50
ISSN:	2331-8422
DOI:	10.48550/arxiv.2302.06396