Formalization of Symplectic Geometry in HOL-Light.

Guohui Wang, Yong Guan, Zhiping Shi, Qianying Zhang, Xiaojuan Li, Yongdong Li

Browse the full ICFEM paper archive.