Formalization of robot collision detection method based on conformal geometric algebra

DOI10.1007/S10703-025-00486-1MaRDI QIDQ6887493zbMATH OpenFDO

Authors Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li

Publication date 9 December 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10703-025-00486-1

zbMATH Keywords

collision detection methodconformal geometric algebracooperative robotsformalizationHOL Light

Mathematics Subject Classification ID

Applications of Clifford algebras to physics, etc. (15A67) Artificial intelligence for robotics (68T40) Formalization of mathematics in connection with theorem provers (68V20)

Cites work

• A mathematical journey to relativity. Deriving special and general relativity with basic mathematics
• A Survey of Practical Formal Methods for Security
• Computer algebra systems as mathematical optimizing compilers
• Formal verification of robotic cell injection systems up to 4-DOF using \textsf{HOL Light}
• Formalization of geometric algebra in HOL Light
• Formalization of the arithmetization of Euclidean plane geometry and applications
• From informal to formal proofs in Euclidean geometry
• GAALOPWeb for Matlab: an easy to handle solution for industrial geometric algebra implementations
• Geometric algebra applications Vol. II. Robot modelling and control
• Geometric error modeling of parallel manipulators based on conformal geometric algebra
• Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
• Inverse kinematics for a 6-DOF walking humanoid robot leg
• Monte Carlo geometry modeling for particle transport using conformal geometric algebra
• New applications of Clifford's geometric algebra
• Proof-checking Euclid

This page was built for publication: Formalization of robot collision detection method based on conformal geometric algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6887493)