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
Collections | ANU Research Publications |
---|---|
Date published: | 2013 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/66266 |
Source: | Journal of Formalized Reasoning |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Chan_A_String_of_Pearls:_Proofs_of_2013.pdf | 387.51 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator