Transcendence Certificates for D-finite Functions

Manuel Kauers, Christoph Koutschan, Thibaut Verron. Transcendence Certificates for D-finite Functions. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 372-380, ACM, 2023. [doi]

Abstract

Abstract is missing.