Sign in

Formalization of Symplectic Geometry in HOL-Light.

Guohui WangYong GuanZhiping ShiQianying ZhangXiaojuan LiYongdong 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