Sign in
Li-Ming Li
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 3
Top Topics
Light Scattering
Natural Deduction
Geometric Algebra
Mathematical Framework
Top Venues
Mechatron. Syst. Control.
CoRR
J. Autom. Reason.
</>
Publications
</>
Li-Ming Li
,
Shi-Liang Wu
Some properties of the solution of the vertical tensor complementarity problem.
CoRR
(2022)
Li-Ming Li
,
Zhi-Ping Shi
,
Yong Guan
,
Qianying Zhang
,
Yong-Dong Li
Formalization of Geometric Algebra in HOL Light.
J. Autom. Reason.
63 (3) (2019)
Li-Ming Li
,
Jing Zhao
,
Chao-Jie Yan
Robot-to-Human Handover in a Comfortable and Friendly Manner.
Mechatron. Syst. Control.
46 (4) (2018)