A String of Pearls: Proofs of Fermat's Little Theorem

Citation

Chan, H & Norrish, M 2013, 'A String of Pearls: Proofs of Fermat’s Little Theorem', Journal of Formalized Reasoning, vol. 6, no. 1, 2013, pp. 63-87.

Year

2013

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers