Polygonal Number Theorem (Formal proof development)

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

Access to Document

@article{41c2407b2051496387953a93946326be,

title = "Polygonal Number Theorem (Formal proof development)",

author = "Kevin Lee and Zhengkun Ye and Angeliki Koutsoukou-Argyraki",

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

year = "2023",

month = aug,

language = "English",

journal = "Archive of Formal Proofs",

issn = "2150-914x",

}