Formalization of Symplectic Geometry in HOL-Light.

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

Published in: ICFEM (2018)

Keyphrases

formal model
theorem prover
knowledge representation
three dimensional
geometric structure
geometrical constraints
database
genetic algorithm
case study
theorem proving
geometric information
projective geometry