Browsing by Author Chan, Hing Lun (Joseph)
Showing results 3 to 3 of 3
Mechanisation of AKS algorithm: Part 1 - The main theorem
Author(s) | Chan, Hing Lun (Joseph); Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | 24 August 2015 through 27 August 2015 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator