Transcendence Certificates for D-finite Functions
Symbolic Computation
2023-09-20 v2
Abstract
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.
Cite
@article{arxiv.2302.06396,
title = {Transcendence Certificates for D-finite Functions},
author = {Manuel Kauers and Christoph Koutschan and Thibaut Verron},
journal= {arXiv preprint arXiv:2302.06396},
year = {2023}
}
Comments
9 pages, 1 figure