Proof pearl: Bounding least... - Researchers

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

Dr Michael Norrish

Field of Research

Computational Logic And Formal Languages

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