Edit Profile (opens in new tab) Shi, Zhiping Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 0 single-authored 13 Guan, Yong 6 Li, Yongdong 4 Li, Liming 4 Li, Ximeng 4 Wang, Guohui 3 Shi, Zhongzhi 3 Wei, Hongxing 2 Kevrekidis, Panayotis G. 2 Ma, Sha 2 Song, Xiaoyu 2 Wu, Aixuan 2 Ye, Shiwei 2 Zhang, Jingzhi 2 Zhang, Qianying 1 Chen, Shanyan 1 Duan, Chan-Lun 1 Gu, Weiqing 1 Han, Ning 1 Horne, Rudy Lee 1 Hu, Hong 1 Huang, Yonggang Young 1 Hwang, Keh-Chi 1 Jin, Fan 1 Law, Kody J. H. 1 Li, Qingyong 1 Li, Shaoqian 1 Li, Xiaojuan 1 Li, ZhiQing 1 Li, Zhixin 1 Liu, Xi 1 Liu, Zhenke 1 Lv, Fengcheng 1 Malomed, Boris A. 1 Ren, Yajun 1 Shao, Zhenzhou 1 Shi, Zhiwei 1 Susanto, Hadi 1 Whitaker, Nathaniel 1 Wierman, Mark J. 1 Wu, Minhua 1 Xiao, Jianliang 1 Yang, Xiumei 1 Zhang, Yupeng 1 Zhu, Nan all top 5 Serials 4 Journal of Software 2 Journal of Automated Reasoning 2 Formal Aspects of Computing 2 Mathematical Problems in Engineering 2 Journal of Applied Mathematics 2 Journal of University of Electronic Science and Technology of China 1 International Journal of General Systems 1 International Journal of Plasticity 1 Journal of Sound and Vibration 1 Physics Letters. A 1 Journal of Southwest Jiaotong University 1 Advances in Applied Clifford Algebras 1 Journal of Physics A: Mathematical and Theoretical 1 Journal of Logical and Algebraic Methods in Programming all top 5 Fields 15 Computer science (68-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Mechanics of particles and systems (70-XX) 4 Information and communication theory, circuits (94-XX) 3 Numerical analysis (65-XX) 2 Partial differential equations (35-XX) 1 Mathematical logic and foundations (03-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 1 Optics, electromagnetic theory (78-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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.68130Liang, 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.65032Ma, 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.74079Shi, Z.; Feng, X.; Huang, Y.; Xiao, J.; Hwang, K. C. 3 2010 Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008Shi, Zhiping; Wu, Aixuan; Yang, Xiumei; Guan, Yong; Li, Yongdong; Song, Xiaoyu 2 2018 The gauge integral theory in HOL4. Zbl 1268.65033Shi, Zhiping; Gu, Weiqing; Li, Xiaojuan; Guan, Yong; Ye, Shiwei; Zhang, Jie; Wei, Hongxing 2 2013 Formalization of geometric algebra in HOL Light. Zbl 1468.68329Li, 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.70010Wu, 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.68353Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie 1 2015 Formalization of functional variation in HOL Light. Zbl 1423.68427Zhang, 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.70009Shi, Z.; Aoyama, H. 1 1997 Formalization of camera pose estimation algorithm based on Rodrigues formula. Zbl 1458.68226Chen, 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.68226Chen, Shanyan; Wang, Guohui; Li, Ximeng; Zhang, Qianying; Shi, Zhiping; Guan, Yong 1 2020 Formalization of geometric algebra in HOL Light. Zbl 1468.68329Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong 2 2019 Formalization of functional variation in HOL Light. Zbl 1423.68427Zhang, Jingzhi; Wang, Guohui; Shi, Zhiping; Guan, Yong; Li, Yongdong 1 2019 Formal analysis of the kinematic Jacobian in screw theory. Zbl 1426.70008Shi, 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.65032Ma, 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.70010Wu, 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.68353Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie 1 2015 The gauge integral theory in HOL4. Zbl 1268.65033Shi, 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.74079Shi, 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.68130Liang, 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.70009Shi, Z.; Aoyama, H. 1 1997 all cited Publications top 5 cited Publications all top 5 Cited by 22 Authors 5 Guan, Yong 5 Shi, Zhiping 4 Li, Yongdong 2 Huo, Xinming 2 Li, Liming 2 Wang, Guohui 2 Zhang, Jingzhi 1 Li, Wanzhen 1 Li, Ximeng 1 Liu, Zhenke 1 Song, Utensil 1 Song, Xiaoyu 1 Song, Yimin 1 Wang, Panfeng 1 Wei, Hongxing 1 Wieser, Eric 1 Wu, Aixuan 1 Xu, Runqing 1 Yang, Xiumei 1 Ye, Shiwei 1 Zhan, Bohua 1 Zhang, Qianying Cited in 5 Serials 3 Advances in Applied Clifford Algebras 2 Journal of Automated Reasoning 1 Formal Aspects of Computing 1 Journal of Applied Mathematics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 7 Computer science (68-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Mechanics of particles and systems (70-XX) 1 Mathematical logic and foundations (03-XX) 1 Number theory (11-XX) 1 Calculus of variations and optimal control; optimization (49-XX) Citations by Year