The following pages link to Hing-Lun Chan (Q1722640):
Displaying 9 items.
- Proof pearl: Bounding least common multiples with triangles (Q1722641) (← links)
- (Q2031414) (redirect page) (← links)
- Mechanisation of the AKS algorithm (Q2031415) (← links)
- Classification of finite fields with applications (Q2323448) (← links)
- Proof Pearl: Bounding Least Common Multiples with Triangles (Q2829255) (← links)
- Mechanisation of AKS Algorithm: Part 1 – The Main Theorem (Q2945627) (← links)
- A String of Pearls: Proofs of Fermat’s Little Theorem (Q4916061) (← links)
- A String of Pearls: Proofs of Fermat's Little Theorem (Q5195251) (← links)
- Windmills of the minds: a hopping algorithm for Fermat's two squares theorem (Q6653094) (← links)
