Australian Natl Univ Canberra ACT Australia;
Australian Natl Univ Canberra ACT Australia|Data61 Canberra Res Lab Canberra ACT Australia;
Theorem-proving; Automated reasoning; AKS algorithm; Number theory; Finite fields computational complexity; Writer monad; Machine model;