Environmental Protection Research Institute of Light Industry
🇨🇳 CN
Papers
1
Total Citations
16
H-Index
1
Researchers
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
Key Achievements
1
H-Index
1
Papers
16
Total Citations
1
Faculty & Researchers
🏆 Most Cited Paper
Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm
16 citations · 2016
📊 Avg Citations/Paper: 16
📈 Most Prolific Year: 2016 (1)
🔬 Research Focus: Algebra over a field, Algebra representation, Algebraic number, Algorithm, Automated theorem proving, Computer science
Top Papers
- 1
Faculty & Researchers
…
Not generated yet