TY  - RPRT
TI  - Irrationality and Transcendence Criteria for Infinite Series in Isabelle/HOL
AU  - Angeliki Koutsoukou-Argyraki
AU  - Wenda Li
AU  - Lawrence C. Paulson
PY  - 2021
DO  - 10.1080/10586458.2021.1980465
UR  - https://arxiv.org/abs/2101.05257
ID  - 2101.05257
ER  -