TY  - RPRT
TI  - A formalization of the Gelfond-Schneider theorem
AU  - Michail Karatarakis
AU  - Freek Wiedijk
PY  - 2026
UR  - https://arxiv.org/abs/2603.24823
ID  - 2603.24823
ER  -