Proof pearl: Bounding least common multiples with triangles

Citation

CHAN, H & Norrish, M 2016, 'Proof pearl: Bounding least common multiples with triangles', International Conference on Interactive Theorem Proving, ITP 2016, ed. Blanchette J.C.Merz, Springer International Publishing Switzerland, Switzerland, pp. 140-150.

Year

2016

ANU Authors

Field of Research

  • Computational Logic And Formal Languages

Updated:  15 April 2021 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers