On the Formal Analysis of Geometrical Optics in HOL

Umair Siddique, Vincent Aravantinos, Sofiène Tahar. On the Formal Analysis of Geometrical Optics in HOL. In Tetsuo Ida, Jacques D. Fleuriot, editors, Automated Deduction in Geometry - 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers. Volume 7993 of Lecture Notes in Computer Science, pages 161-180, Springer, 2012. [doi]

Abstract

Abstract is missing.