The Transcendence of Certain Infinite Series (Formal proof development)

Research output: Contribution to journal › Article › peer-review

Access to Document

@article{8cc46496059c4011a747551f0d9fac45,

title = "The Transcendence of Certain Infinite Series (Formal proof development)",

author = "Angeliki Koutsoukou-Argyraki and Wenda Li",

note = "\textbackslash{}url\{https://www.isa-afp.org/entries/Transcendence\_Series\_Hancl\_Rucki.html\} ",

year = "2019",

month = mar,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}