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
2017ANU Authors
Field of Research
- Mathematical Sciences Not Elsewhere Classified