Skip navigation
Skip navigation

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

Chan, Hing Lun (Joseph); Norrish, Michael

Description

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
URI: http://hdl.handle.net/1885/66266
Source: Journal of Formalized Reasoning

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator