Jie Zhang

From MaRDI portal
Person:1665985

Available identifiers

zbMath Open zhang.jie.10MaRDI QIDQ1665985

List of research outcomes





PublicationDate of PublicationType
Formalization of function matrix theory in HOL2020-02-10Paper
Formal kinematic analysis of a general 6R manipulator using the screw theory2018-08-27Paper
The formalization of discrete Fourier transform in HOL2018-08-27Paper
Formalization of geometric algebra theories in higher-order logic2016-10-06Paper
Formalization of linear space theory in the higher-order logic proving system2013-06-14Paper
The gauge integral theory in HOL42013-06-14Paper
Component-based formal modeling of PLC systems2013-06-14Paper

Research outcomes over time

This page was built for person: Jie Zhang

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1665985&oldid=6472372"
Powered by MediaWiki