@inproceedings{Chan_Norrish_15,
    address          = {Nanjing, China},
    author           = {Chan, Joseph and Norrish, Michael},
    booktitle        = {International Conference on Interactive Theorem Proving},
    keywords         = {interactive theorem proving, number theory, mechanised mathematics},
    month            = aug,
    pages            = {117--136},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8653.pdf},
    title            = {Mechanisation of {AKS} Algorithm: Part 1 --- the Main Theorem},
    year             = {2015}
  }