Mechanisation of AKS algorithm: Part 1 - The main theorem

Citation

Chan, H & Norrish, M 2015, 'Mechanisation of AKS algorithm: Part 1—The main theorem', 6th International Conference on Interactive Theorem Proving, ITP 2015, ed. Zhang X.Urban C., Conference Organising Committee, TBC, pp. 117-136.

Year

2015

ANU Authors

Field of Research

  • Analysis Of Algorithms And Complexity

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