APA (7th ed.) Citation

Korniłowicz, A., & Naumowicz, A. (2016). Niven's Theorem. Formalized Mathematics, 24(4), 301. https://doi.org/10.1515/forma-2016-0026

Chicago Style (17th ed.) Citation

Korniłowicz, Artur, and Adam Naumowicz. "Niven's Theorem." Formalized Mathematics 24, no. 4 (2016): 301. https://doi.org/10.1515/forma-2016-0026.

MLA (9th ed.) Citation

Korniłowicz, Artur, and Adam Naumowicz. "Niven's Theorem." Formalized Mathematics, vol. 24, no. 4, 2016, p. 301, https://doi.org/10.1515/forma-2016-0026.