Proof Pearl: Bounding Least Common Multiples with Triangles

Citation

CHAN, H & Norrish, M 2017, 'Proof Pearl: Bounding Least Common Multiples with Triangles', Journal of Automated Reasoning, pp. 1-22.

Year

2017

ANU Authors

Field of Research

  • Mathematical Sciences Not Elsewhere Classified

Updated:  18 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers