Hing-Lun Chan

Available identifiers

zbMath Open chan.hing-lunMaRDI QIDQ1722640

List of research outcomes

Publication	Date of Publication	Type
Windmills of the minds: a hopping algorithm for Fermat's two squares theorem	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	2021-06-09	Paper
A String of Pearls: Proofs of Fermat's Little Theorem	2019-09-18	Paper
Classification of finite fields with applications	2019-09-02	Paper
Proof pearl: Bounding least common multiples with triangles	2019-02-18	Paper
Proof pearl: Bounding least common multiples with triangles	2016-10-27	Paper
Mechanisation of AKS algorithm. I. The main theorem	2015-09-14	Paper
A string of pearls: proofs of Fermat's little theorem	2013-04-19	Paper

Research outcomes over time

This page was built for person: Hing-Lun Chan