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)

zbMATH Keywords

HOL Lightconformal geometric algebraformalizationcooperative robotscollision detection method

Mathematics Subject Classification ID

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

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)