Hing-Lun Chan

According to our database, Hing-Lun Chan authored at least 7 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Windmills of the Minds: A Hopping Algorithm for Fermat's Two Squares Theorem.

Hing-Lun Chan

J. Autom. Reason., December, 2024

2022

Windmills of the minds: an algorithm for fermat's two squares theorem.

Hing-Lun Chan

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Mechanisation of the AKS Algorithm.

Hing-Lun Chan, Michael Norrish

J. Autom. Reason., 2021

2019

Classification of Finite Fields with Applications.

Hing-Lun Chan, Michael Norrish

J. Autom. Reason., 2019

2016

Proof Pearl: Bounding Least Common Multiples with Triangles.

Hing-Lun Chan, Michael Norrish

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Mechanisation of AKS Algorithm: Part 1 - The Main Theorem.

Hing-Lun Chan, Michael Norrish

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2012

A String of Pearls: Proofs of Fermat's Little Theorem.

Hing-Lun Chan, Michael Norrish

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012