Zhiping Shi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics (available as arXiv preprint)	2022-07-13	Paper
Formal verification of atomicity requirements for smart contracts	2021-07-08	Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light Journal of Automated Reasoning	2021-06-09	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula Formal Aspects of Computing	2021-01-04	Paper
Formalization of complex analysis and matrix theory	2020-09-03	Paper
Formalization of function matrix theory in HOL Journal of Applied Mathematics	2020-02-10	Paper
Formalization of geometric algebra in HOL Light Journal of Automated Reasoning	2019-09-02	Paper
Formalization of functional variation in HOL Light Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Formal analysis of the kinematic Jacobian in screw theory Formal Aspects of Computing	2018-11-16	Paper
Formal kinematic analysis of a general 6R manipulator using the screw theory Mathematical Problems in Engineering	2018-08-27	Paper
The formalization of discrete Fourier transform in HOL Mathematical Problems in Engineering	2018-08-27	Paper
Research on secure and reliable communications method based on LDPC codes	2018-07-18	Paper
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm Advances in Applied Clifford Algebras	2017-06-29	Paper
Formalization of geometric algebra theories in higher-order logic Journal of Software	2016-10-06	Paper
The gauge integral theory in HOL4 Journal of Applied Mathematics	2013-06-14	Paper
A sparse coding model based on structural similarity	2011-09-29	Paper
Approach for object recognition based on a computational model of feature binding Journal of Software	2011-02-05	Paper
Optimization design of a class of generalized RA codes	2009-11-11	Paper
scientific article; zbMATH DE number 2202235 (Why is no real title available?)	2005-09-05	Paper
scientific article; zbMATH DE number 2059737 (Why is no real title available?)	2004-03-17	Paper

Research outcomes over time

This page was built for person: Zhiping Shi