Papers
1
Total Citations
16
H-Index
1
About
No biography available yet.
Research Focus
Algebra over a field1 · 16 citations
Algebra representation1 · 16 citations
Algebraic number1 · 16 citations
Algorithm1 · 16 citations
Automated theorem proving1 · 16 citations
Computer science1 · 16 citations
Conformal geometric algebra1 · 16 citations
Conformal map1 · 16 citations
Correctness1 · 16 citations
Euclidean geometry1 · 16 citations
GRASP1 · 16 citations
Geometric algebra1 · 16 citations
Key Achievements
1
H-Index
1
Papers
16
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm
16 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 5
🏛 Institutions: Capital Normal University
Top Papers
- 1
Key Collaborators
Not generated yet