A Framework for Formal Reasoning about Geometrical Optics

Publication
Intelligent Computer Mathematics