Hing-Lun Chan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Windmills of the minds: a hopping algorithm for Fermat's two squares theorem Journal of Automated Reasoning | 2024-12-16 | Paper |
| Windmills of the minds: an algorithm for Fermat's Two Squares Theorem | 2021-12-05 | Paper |
| Mechanisation of the AKS algorithm Journal of Automated Reasoning | 2021-06-09 | Paper |
| A String of Pearls: Proofs of Fermat's Little Theorem | 2019-09-18 | Paper |
| Classification of finite fields with applications Journal of Automated Reasoning | 2019-09-02 | Paper |
| Proof pearl: Bounding least common multiples with triangles Journal of Automated Reasoning | 2019-02-18 | Paper |
| Proof pearl: Bounding least common multiples with triangles Interactive Theorem Proving | 2016-10-27 | Paper |
| Mechanisation of AKS algorithm. I. The main theorem Interactive Theorem Proving | 2015-09-14 | Paper |
| A string of pearls: proofs of Fermat's little theorem Certified Programs and Proofs | 2013-04-19 | Paper |
Research outcomes over time
This page was built for person: Hing-Lun Chan
