A Framework for Formal Reasoning about Geometrical Optics

Umair Siddique, Sofiéne Tahar
January 2014
PDF
Type
Conference paper
Publication
Intelligent Computer Mathematics