Yong Guan

Formalization of the Complex Number Theory in HOL4

Xiaoyu Song, Minhua Wu, Zhiping Shi, 2013 .

Formal modeling and verification of fractional order linear systems.

Likun Shi, Zhiping Shi, Chunna Zhao, 2016, ISA transactions.

The Formalization of Discrete Fourier Transform in HOL

Jie Zhang, Zhiping Shi, Yupeng Zhang, 2015 .