Skip navigation
Skip navigation

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

Chan, Hing Lun (Joseph); Norrish, Michael


We discuss mechanised proofs of Fermat's Little Theorem in a variety of styles, focusing in par-ticular on an elegant combinatorial "necklace" proof that has not been mechanised previously. What is elegant in prose turns out to be long-winded mechanically

CollectionsANU Research Publications
Date published: 2013
Type: Journal article
Source: Journal of Formalized Reasoning


File Description SizeFormat Image
01_Chan_A_String_of_Pearls:_Proofs_of_2013.pdf387.51 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator