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
2015ANU Authors
Field of Research
- Analysis Of Algorithms And Complexity