Shanyan Chen

Capital Normal University

Papers

2

Total Citations

17

H-Index

2

About

No biography available yet.

Research Focus

Artificial intelligence2 · 17 citations
Mathematics2 · 17 citations
Computer science2 · 17 citations
Programming language2 · 17 citations
Formal verification1 · 11 citations
Theory of computation1 · 11 citations
Automated theorem proving1 · 11 citations
Correctness1 · 11 citations
Formal methods1 · 11 citations
Key (lock)1 · 11 citations
Mathematical proof1 · 11 citations
Pose1 · 11 citations

Key Achievements

2
H-Index
2
Papers
17
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula
11 citations · 2020
📈 Most Prolific Year: 2020 (1 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: Capital Normal University

Top Papers

  1. 1
    Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula
    11 citations · 2020
  2. 2
    Formalization of the inverse kinematics of three-fingered dexterous hand
    6 citations · 2023

Key Collaborators

ZSZhiping Shi2 shared papersGWGuohui Wang2 shared papersYGYong Guan2 shared papersXLXimeng Li2 shared papersQZQianying Zhang1 shared papersJZJingzhi Zhang1 shared papers
Not generated yet