Zhiping Shi

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand	2023-06-19	Paper
Reasoning about iteration and recursion uniformly based on big-step semantics	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	2021-06-09	Paper
Formalization of camera pose estimation algorithm based on Rodrigues formula	2021-01-04	Paper
Formalization of Complex Analysis and Matrix Theory	2020-09-03	Paper
Formalization of function matrix theory in HOL	2020-02-10	Paper
Formalization of geometric algebra in HOL Light	2019-09-02	Paper
Formalization of functional variation in HOL Light	2019-06-20	Paper
Formal analysis of the kinematic Jacobian in screw theory	2018-11-16	Paper
Formal kinematic analysis of a general 6R manipulator using the screw theory	2018-08-27	Paper
The formalization of discrete Fourier transform in HOL	2018-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q3175785	2018-07-18	Paper
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm	2017-06-29	Paper
Formalization of geometric algebra theories in higher-order logic	2016-10-06	Paper
The gauge integral theory in HOL4	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	2011-02-05	Paper
Optimization design of a class of generalized RA codes	2009-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5314442	2005-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4458018	2004-03-17	Paper

Research outcomes over time

This page was built for person: Zhiping Shi