@article{49131405d6e44d0e9e2e9accebe3ee7f,
title = "Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL",
keywords = "interactive theorem proving, irrationality, Isabelle/HOL, proof assistants, series, Transcendence",
author = "Angeliki Koutsoukou-Argyraki and Wenda Li and Paulson, {Lawrence C.}",
note = "Publisher Copyright: {\textcopyright} 2021 The Author(s). Published with license by Taylor and Francis Group, LLC.",
year = "2022",
doi = "10.1080/10586458.2021.1980465",
language = "English",
volume = "31",
pages = "401--412",
journal = "EXPERIMENTAL MATHEMATICS",
issn = "1058-6458",
publisher = "A K Peters",
number = "2",
}