Irrationality Criteria for Series by Erdős and Straus (Formal proof development)

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

Access to Document

@article{e7d9f612f17044b78d2ede4fa759caa2,

title = "Irrationality Criteria for Series by Erd{\H o}s and Straus (Formal proof development)",

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

note = "\url{https://www.isa-afp.org/entries/Irrational_Series_Erdos_Straus.html} ",

year = "2020",

month = may,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}