Shi, Zhiping; Zhang, Yupeng; Guan, Yong; Li, Liming; Zhang, Jie The formalization of discrete Fourier transform in HOL. (English) Zbl 1394.68353 Math. Probl. Eng. 2015, Article ID 687152, 8 p. (2015). MSC: 68T15 65T50 PDFBibTeX XMLCite \textit{Z. Shi} et al., Math. Probl. Eng. 2015, Article ID 687152, 8 p. (2015; Zbl 1394.68353) Full Text: DOI
Wu, Aixuan; Shi, Zhiping; Li, Yongdong; Wu, Minhua; Guan, Yong; Zhang, Jie; Wei, Hongxing Formal kinematic analysis of a general 6R manipulator using the screw theory. (English) Zbl 1394.70010 Math. Probl. Eng. 2015, Article ID 549797, 7 p. (2015). MSC: 70B15 PDFBibTeX XMLCite \textit{A. Wu} et al., Math. Probl. Eng. 2015, Article ID 549797, 7 p. (2015; Zbl 1394.70010) Full Text: DOI