Jingzhi Zhang

Available identifiers

zbMath Open zhang.jingzhiMaRDI QIDQ2031405

List of research outcomes

Publication	Date of Publication	Type
Formalization of the inverse kinematics of three-fingered dexterous hand	2023-06-19	Paper
Formalization of Euler-Lagrange equation set based on variational calculus in HOL light	2021-06-09	Paper
Formalization of functional variation in HOL Light	2019-06-20	Paper
The existence theorem and comparison theorem for the minimal solution of backward doubly stochastic differential equations with discontinuous generators	2016-08-10	Paper
On the Levi type theorem for maximal solutions of BSDEs with a left-Lipschitz generator	2012-06-01	Paper

Research outcomes over time

This page was built for person: Jingzhi Zhang