Work

Transcendence Certificates for D-finite Functions

Year: 2023

Type: conference-paper

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.

Source: International Symposium on Symbolic and Algebraic Computation

DOI: 10.1145/3597066.3597091

Authors: Manuel Kauers, Christoph Koutschan, Thibaut Verron

Institutions: Johannes Kepler University of Linz, Austrian Academy of Sciences, Johann Radon Institute for Computational and Applied Mathematics

Language: English

Topic: Polynomial and algebraic computation

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: Austrian Science Fund

Awards: Weighted-homogeneous structure of polynomial equations, G630956818, Integral D-finite Functions