Formal Analysis of Geometrical Optics using Theorem Proving

Publication
PhD Thesis