Higher-Order Logic Formalization of Geometrical Optics

Publication
International Workshop on Automated Deduction in Geometry (ADG)