Shanyan Chen
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Formal reasoning about Bernstein-Vazirani algorithm Journal of Logical and Algebraic Methods in Programming | 2026-03-09 | Paper |
| Formalization of robot collision detection method based on conformal geometric algebra Formal Methods in System Design | 2025-12-09 | Paper |
| Formalization of the inverse kinematics of three-fingered dexterous hand Journal of Logical and Algebraic Methods in Programming | 2023-06-19 | Paper |
| Formalization of camera pose estimation algorithm based on Rodrigues formula Formal Aspects of Computing | 2021-01-04 | Paper |
Research outcomes over time
This page was built for person: Shanyan Chen
