@inproceedings{KauersKoutschanVerron23,
author = {Manuel Kauers and Christoph Koutschan and Thibaut Verron},
title = {Transcendence certificates for {D}-finite functions},
booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC)},
year = {2023},
pages = {372--380},
publisher = {ACM},
address = {New York, USA},
isbn_issn = {ISBN 979-8-4007-0039-2},
doi = {10.1145/3597066.3597091},
}