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
2016ANU Authors
Field of Research
- Computational Logic And Formal Languages