×
Compute Distance To:
Author ID: shi.zhiping Recent zbMATH articles by "Shi, Zhiping"
Published as: Shi, Zhiping; Shi, Zhi-Ping
Documents Indexed: 24 Publications since 1997, including 1 Book
Co-Authors: 34 Co-Authors with 19 Joint Publications
555 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 80 times in 9 Documents Cited by Year
Information entropy, rough entropy and knowledge granulation in incomplete information systems. Zbl 1115.68130
Liang, J.; Shi, Z.; Li, D.; Wierman, M. J.
62
2006
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
4
2016
The equivalent axisymmetric model for Berkovich indenters in power-law hardening materials. Zbl 1421.74079
Shi, Z.; Feng, X.; Huang, Y.; Xiao, J.; Hwang, K. C.
3
2010
Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu
2
2018
The gauge integral theory in HOL4. Zbl 1268.65033
Shi, Zhiping; Gu, Weiqing; Li, Xiaojuan; Guan, Yong; Ye, Shiwei; Zhang, Jie; Wei, Hongxing
2
2013
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Formal kinematic analysis of a general 6R manipulator using the screw theory. Zbl 1394.70010
Wu, Aixuan; Shi, Zhiping; Li, Yongdong; Wu, Minhua; Guan, Yong; Zhang, Jie; Wei, Hongxing
1
2015
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Estimation of the exponential autoregressive time series model by using the genetic algorithm. Zbl 1235.70009
Shi, Z.; Aoyama, H.
1
1997
Formalization of camera pose estimation algorithm based on Rodrigues formula. Zbl 1458.68226
Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong
1
2020
Formalization of camera pose estimation algorithm based on Rodrigues formula. Zbl 1458.68226
Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong
1
2020
Formalization of geometric algebra in HOL Light. Zbl 1468.68329
Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong
2
2019
Formalization of functional variation in HOL Light. Zbl 1423.68427
Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong
1
2019
Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008
Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu
2
2018
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Zbl 1367.65032
Ma, Sha; Shi, Zhiping; Shao, Zhenzhou; Guan, Yong; Li, Liming; Li, Yongdong
4
2016
Formal kinematic analysis of a general 6R manipulator using the screw theory. Zbl 1394.70010
Wu, Aixuan; Shi, Zhiping; Li, Yongdong; Wu, Minhua; Guan, Yong; Zhang, Jie; Wei, Hongxing
1
2015
The formalization of discrete Fourier transform in HOL. Zbl 1394.68353
Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie
1
2015
The gauge integral theory in HOL4. Zbl 1268.65033
Shi, Zhiping; Gu, Weiqing; Li, Xiaojuan; Guan, Yong; Ye, Shiwei; Zhang, Jie; Wei, Hongxing
2
2013
The equivalent axisymmetric model for Berkovich indenters in power-law hardening materials. Zbl 1421.74079
Shi, Z.; Feng, X.; Huang, Y.; Xiao, J.; Hwang, K. C.
3
2010
Information entropy, rough entropy and knowledge granulation in incomplete information systems. Zbl 1115.68130
Liang, J.; Shi, Z.; Li, D.; Wierman, M. J.
62
2006
Estimation of the exponential autoregressive time series model by using the genetic algorithm. Zbl 1235.70009
Shi, Z.; Aoyama, H.
1
1997

Citations by Year