Login / Signup
Shanyan Chen
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Deformable Mesh
Estimation Algorithm
Pose Estimation
Geometric Algebra
Top Venues
J. Log. Algebraic Methods Program.
CoRR
Formal Aspects Comput.
FASE
</>
Publications
</>
Ximeng Li
,
Shanyan Chen
,
Yong Guan
,
Qianying Zhang
,
Guohui Wang
,
Zhiping Shi
Refinement Verification of OS Services based on a Verified Preemptive Microkernel.
FASE
(2024)
Yingjie Wu
,
Guohui Wang
,
Shanyan Chen
,
Zhiping Shi
,
Yong Guan
,
Ximeng Li
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra.
CoRR
(2023)
Guohui Wang
,
Shanyan Chen
,
Yong Guan
,
Zhi-Ping Shi
,
Ximeng Li
,
Jingzhi Zhang
Formalization of the inverse kinematics of three-fingered dexterous hand.
J. Log. Algebraic Methods Program.
133 (2023)
Shanyan Chen
,
Guohui Wang
,
Ximeng Li
,
Qianying Zhang
,
Zhi-Ping Shi
,
Yong Guan
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.
Formal Aspects Comput.
32 (4-6) (2020)