On the formal analysis of geometrical optics in HOL

Umair Siddique, Vincent Aravantinos, Sofiéne Tahar
January 2012
PDF
Type
Conference paper
Publication
International Workshop on Automated Deduction in Geometry