Korniłowicz, A., Naumowicz, A., & Grabowski, A. (2017). All Liouville Numbers are Transcendental. Formalized Mathematics, 25(1), 49. https://doi.org/10.1515/forma-2017-0004
Chicago Style (17th ed.) CitationKorniłowicz, Artur, Adam Naumowicz, and Adam Grabowski. "All Liouville Numbers Are Transcendental." Formalized Mathematics 25, no. 1 (2017): 49. https://doi.org/10.1515/forma-2017-0004.
MLA (9th ed.) CitationKorniłowicz, Artur, et al. "All Liouville Numbers Are Transcendental." Formalized Mathematics, vol. 25, no. 1, 2017, p. 49, https://doi.org/10.1515/forma-2017-0004.
Warning: These citations may not always be 100% accurate.