Mechanisation of the AKS Algorithm
Crossref DOI link: https://doi.org/10.1007/s10817-020-09563-y
Published Online: 2020-09-02
Published Print: 2021-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chan, Hing Lun http://orcid.org/0000-0003-1811-1684
Norrish, Michael
Text and Data Mining valid from 2020-09-02
Version of Record valid from 2020-09-02
Article History
Received: 15 November 2019
Accepted: 6 May 2020
First Online: 2 September 2020