Email Gateway (Aug 22 2022 at 19:24): Email Gateway (Aug 22 2022 at 19:24):From: Manuel Eberl <eberlm@in.tum.de>
The Transcendence of Certain Infinite Series
by Angeliki Koutsoukou-Argyraki and Wenda Li
We formalize the proofs of two transcendence criteria by J. Hančl
and P. Rucki that assert the transcendence of the sums of certain
infinite series built up by sequences that fulfil certain properties.
Both proofs make use of Roth's celebrated theorem on diophantine
approximations to algebraic numbers from 1955 which we implement as
an assumption without having formalised its proof.
https://www.isa-afp.org/entries/Transcendence_Series_Hancl_Rucki.html
Enjoy,
Manuel
Last updated: Apr 25 2024 at 08:20 UTC