{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T16:16:04Z","timestamp":1764346564278,"version":"3.46.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62272323","62272323","62272322","62002246","62272322","62002246"],"award-info":[{"award-number":["62272323","62272323","62272322","62002246","62272322","62002246"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s10703-025-00486-1","type":"journal-article","created":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T08:51:35Z","timestamp":1759481495000},"page":"255-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formalization of robot collision detection method based on conformal geometric algebra"],"prefix":"10.1007","volume":"67","author":[{"given":"Yingjie","family":"Wu","sequence":"first","affiliation":[]},{"given":"Guohui","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Shanyan","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Zhiping","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[]},{"given":"Ximeng","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,3]]},"reference":[{"key":"486_CR1","doi-asserted-by":"publisher","first-page":"8217","DOI":"10.1007\/s00521-020-04952-1","volume":"33","author":"A Liu","year":"2021","unstructured":"Liu A, Zhang Y, Zhao H, Wang S, Sun D (2021) Neural network control system of cooperative robot based on genetic algorithms. Neural Comput Appl 33:8217\u20138226. https:\/\/doi.org\/10.1007\/s00521-020-04952-1","journal-title":"Neural Comput Appl"},{"issue":"5","key":"486_CR2","doi-asserted-by":"publisher","first-page":"1571","DOI":"10.3390\/s21051571","volume":"21","author":"A Bonci","year":"2021","unstructured":"Bonci A, Cheng PDC, Indri M, Nabissi G, Sibona F (2021) Human-robot perception in industrial environments: a survey. Sensors (Basel) 21(5):1571. https:\/\/doi.org\/10.3390\/s21051571","journal-title":"Sensors (Basel)"},{"issue":"4","key":"486_CR3","doi-asserted-by":"publisher","first-page":"8401","DOI":"10.1109\/LRA.2021.3108500","volume":"6","author":"S Ishikawa","year":"2021","unstructured":"Ishikawa S, Sugiura K (2021) Target-dependent uniter: a transformer-based multimodal language comprehension model for domestic service robots. IEEE Rob Autom 6(4):8401\u20138408. https:\/\/doi.org\/10.1109\/LRA.2021.3108500","journal-title":"IEEE Rob Autom"},{"issue":"5","key":"486_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1057\/s41303-017-0046-1","volume":"26","author":"T Mettler","year":"2017","unstructured":"Mettler T, Sprenger M, Winter R (2017) Service robots in hospitals: new perspectives on niche evolution and technology affordances. Eur J Inform Syst 26(5):451\u2013468. https:\/\/doi.org\/10.1057\/s41303-017-0046-1","journal-title":"Eur J Inform Syst"},{"issue":"4","key":"486_CR5","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1108\/IR-11-2018-0231","volume":"46","author":"AA Malik","year":"2019","unstructured":"Malik AA, Bilberg A (2019) Complexity-based task allocation in human-robot collaborative assembly. Ind Robot 46(4):471\u2013480. https:\/\/doi.org\/10.1108\/IR-11-2018-0231","journal-title":"Ind Robot"},{"key":"486_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2021.106315","volume":"209","author":"C Cai","year":"2021","unstructured":"Cai C, Sun C, Song Y, Lv Q, Bi J, Zhang Q (2021) Bone collision detection method for robot assisted fracture reduction based on force curve slope. Comput Methods Programs Biomed 209:106315. https:\/\/doi.org\/10.1016\/j.cmpb.2021.106315","journal-title":"Comput Methods Programs Biomed"},{"issue":"9","key":"486_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TII.2024.3399917","volume":"20","author":"T Shen","year":"2024","unstructured":"Shen T, Liu X, Dong Y, Yang L, Yuan Y (2024) Switched momentum dynamics identification for robot collision detection. IEEE Trans Ind Inform 20(9):1\u201310. https:\/\/doi.org\/10.1109\/TII.2024.3399917","journal-title":"IEEE Trans Ind Inform"},{"key":"486_CR8","doi-asserted-by":"publisher","unstructured":"Boskoff WG, Capozziello S (2024) Differential geometry at work: Euclidean, non-euclidean, and elliptic geometric models from geometry and physics. A Mathematical Journey to Relativity: Deriving Special and General Relativity with Basic Mathematics. Springer, Cham, pp 155\u2013172. https:\/\/doi.org\/10.1007\/978-3-031-54823-9_7","DOI":"10.1007\/978-3-031-54823-9_7"},{"issue":"2","key":"486_CR9","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1080\/03772063.2019.1654937","volume":"68","author":"S Zaheer","year":"2022","unstructured":"Zaheer S, Gulrez T, Paramabath IAT (2022) From sensor-space to eigenspace - a novel real-time obstacle avoidance method for mobile robots. IETE J Res 68(2):1512\u20131524. https:\/\/doi.org\/10.1080\/03772063.2019.1654937","journal-title":"IETE J Res"},{"issue":"10","key":"486_CR10","doi-asserted-by":"publisher","first-page":"1632","DOI":"10.3390\/electronics9101632","volume":"9","author":"P S\u00e1nchez","year":"2020","unstructured":"S\u00e1nchez P, Casado R, Berm\u00fadez A (2020) Real-time collision-free navigation of multiple UAVs based on bounding boxes. Electronics 9(10):1632. https:\/\/doi.org\/10.3390\/electronics9101632","journal-title":"Electronics"},{"key":"486_CR11","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s11370-021-00351-0","volume":"14","author":"A Yun","year":"2021","unstructured":"Yun A, Ha J (2021) A geometric tracking of rank-1 manipulability for singularity-robust collision avoidance. Intel Serv Robot 14:271\u2013284. https:\/\/doi.org\/10.1007\/s11370-021-00351-0","journal-title":"Intel Serv Robot"},{"key":"486_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10472-018-9597-7","volume":"85","author":"S Stojanovic-Durdevic","year":"2019","unstructured":"Stojanovic-Durdevic S (2019) From informal to formal proofs in euclidean geometry. Ann Math Artif Intell 85:89\u2013117. https:\/\/doi.org\/10.1007\/s10472-018-9597-7","journal-title":"Ann Math Artif Intell"},{"key":"486_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.jsc.2018.04.007","volume":"90","author":"P Boutry","year":"2019","unstructured":"Boutry P, Braun GA, Narboux J (2019) Formalization of the arithmetization of Euclidean plane geometry and applications. J Symb Comput 90:149\u2013168. https:\/\/doi.org\/10.1016\/j.jsc.2018.04.007","journal-title":"J Symb Comput"},{"key":"486_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10472-018-9606-x","volume":"85","author":"M Beeson","year":"2020","unstructured":"Beeson M, Narboux J, Wiedijk F (2020) Proof-checking euclid. Ann Math Artif Intell 85:213\u2013257. https:\/\/doi.org\/10.1007\/s10472-018-9606-x","journal-title":"Ann Math Artif Intell"},{"key":"486_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/s42484-024-00155-2","volume":"6","author":"E Zardini","year":"2024","unstructured":"Zardini E, Blanzieri E, Pastorello D (2024) A quantum k-nearest neighbors algorithm based on the euclidean distance estimation. Quantum Mach Intell 6:23. https:\/\/doi.org\/10.1007\/s42484-024-00155-2","journal-title":"Quantum Mach Intell"},{"key":"486_CR16","doi-asserted-by":"publisher","unstructured":"Bayro-Corrochano E (2020) Conformal geometric algebra. In: Bayro-Corrochano E (ed) Geometric Algebra Applications Vol. II: Robot Modelling and Control. Springer, Cham, pp 181\u2013217. https:\/\/doi.org\/10.1007\/978-3-030-34978-3_6","DOI":"10.1007\/978-3-030-34978-3_6"},{"key":"486_CR17","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/s00006-016-0705-7","volume":"27","author":"L Campos-Mac\u00edas","year":"2017","unstructured":"Campos-Mac\u00edas L, Carbajal-Espinosa O, Loukianov A, Bayro-Corrochano E (2017) Inverse kinematics for a 6-dof walking humanoid robot leg. Adv Appl Clifford Algebras 27:581\u2013597. https:\/\/doi.org\/10.1007\/s00006-016-0705-7","journal-title":"Adv Appl Clifford Algebras"},{"key":"486_CR18","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s00006-018-0831-5","volume":"28","author":"B Lian","year":"2018","unstructured":"Lian B (2018) Geometric error modeling of parallel manipulators based on conformal geometric algebra. Adv Appl Clifford Algebras 28:30. https:\/\/doi.org\/10.1007\/s00006-018-0831-5","journal-title":"Adv Appl Clifford Algebras"},{"issue":"1","key":"486_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s12369-019-00545-8","volume":"12","author":"E Bayro-Corrochano","year":"2020","unstructured":"Bayro-Corrochano E, Garza-Burgos AM, Del-Valle-Padilla JL (2020) Geometric intuitive techniques for human machine interaction in medical robotics. Int J Soc Robot 12(1):91\u2013112. https:\/\/doi.org\/10.1007\/s12369-019-00545-8","journal-title":"Int J Soc Robot"},{"key":"486_CR20","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/s00006-020-01081-9","volume":"30","author":"D Hildenbrand","year":"2020","unstructured":"Hildenbrand D, Steinmetz C, Tich\u00fd R (2020) Gaalopweb for matlab: an easy to handle solution for industrial geometric algebra implementations. Adv Appl Clifford Algebras 30:52. https:\/\/doi.org\/10.1007\/s00006-020-01081-9","journal-title":"Adv Appl Clifford Algebras"},{"key":"486_CR21","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/s00006-019-0939-2","volume":"29","author":"EU Moya-S\u00e1nchez","year":"2019","unstructured":"Moya-S\u00e1nchez EU, Maciel-Hern\u00e1ndez AM, Niebla AS, Ramos-M\u00e9ndez J, Carbajal-Espinosa O (2019) Monte Carlo geometry modeling for particle transport using conformal geometric algebra. Adv Appl Clifford Algebras 29:26. https:\/\/doi.org\/10.1007\/s00006-019-0939-2","journal-title":"Adv Appl Clifford Algebras"},{"key":"486_CR22","doi-asserted-by":"publisher","first-page":"517","DOI":"10.3389\/fnins.2018.00517","volume":"12","author":"D Lul\u00e9","year":"2018","unstructured":"Lul\u00e9 D, H\u00f6rner K, Vazquez C, Aho-\u00d6zhan H, Keller J, Gorges M, Uttner I, Ludolph AC (2018) Screening for cognitive function in complete immobility using brain-machine interfaces: a proof of principle study. Front Neurosci 12:517. https:\/\/doi.org\/10.3389\/fnins.2018.00517","journal-title":"Front Neurosci"},{"issue":"3","key":"486_CR23","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.scico.2005.06.003","volume":"59","author":"A Dall\u2019Osso","year":"2006","unstructured":"Dall\u2019Osso A (2006) Computer algebra systems as mathematical optimizing compilers. Sci Comput Program 59(3):250\u2013273. https:\/\/doi.org\/10.1016\/j.scico.2005.06.003","journal-title":"Sci Comput Program"},{"issue":"1","key":"486_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3522582","volume":"34","author":"T Kulik","year":"2022","unstructured":"Kulik T, Dongol B, Larsen PG, Macedo HD, Schneider S, Tran-J\u00f8rgensen PWV, Woodcock J (2022) A survey of practical formal methods for security. Form Asp Comput 34(1):1\u201339. https:\/\/doi.org\/10.1145\/3522582","journal-title":"Form Asp Comput"},{"issue":"4","key":"486_CR25","doi-asserted-by":"publisher","first-page":"6544","DOI":"10.1109\/LRA.2020.3015187","volume":"5","author":"SAB Birjandi","year":"2020","unstructured":"Birjandi SAB, Haddadin S (2020) Model-adaptive high-speed collision detection for serial-chain robot manipulators. IEEE Robot Autom Lett 5(4):6544\u20136551. https:\/\/doi.org\/10.1109\/LRA.2020.3015187","journal-title":"IEEE Robot Autom Lett"},{"issue":"2\u20133","key":"486_CR26","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s00165-020-00514-3","volume":"32","author":"A Rashid","year":"2020","unstructured":"Rashid A, Hasan O (2020) Formal verification of robotic cell injection systems up to 4-dof using hol light. Form Asp Comput 32(2\u20133):229\u2013250. https:\/\/doi.org\/10.1007\/s00165-020-00514-3","journal-title":"Form Asp Comput"},{"key":"486_CR27","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s00006-021-01196-7","volume":"32","author":"S Breuils","year":"2022","unstructured":"Breuils S, Tachibana K, Hitzer E (2022) New applications of clifford\u2019s geometric algebra. Adv Appl Clifford Algebras 32:17. https:\/\/doi.org\/10.1007\/s00006-021-01196-7","journal-title":"Adv Appl Clifford Algebras"},{"key":"486_CR28","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1007\/s00006-016-0650-5","volume":"26","author":"S Ma","year":"2016","unstructured":"Ma S, Shi Z, Shao Z, Guan Y, Li L, Li Y (2016) Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm. Adv Appl Clifford Algebras 26:1305\u20131330. https:\/\/doi.org\/10.1007\/s00006-016-0650-5","journal-title":"Adv Appl Clifford Algebras"},{"issue":"5","key":"486_CR29","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10817-018-9498-9","volume":"26","author":"L Li","year":"2019","unstructured":"Li L, Shi Z, Guan Y, Zhang Q, Li Y (2019) Formalization of geometric algebra in hol light. J Autom Reasoning 26(5):451\u2013468. https:\/\/doi.org\/10.1007\/s10817-018-9498-9","journal-title":"J Autom Reasoning"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00486-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10703-025-00486-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-025-00486-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T16:13:49Z","timestamp":1764346429000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10703-025-00486-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,3]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["486"],"URL":"https:\/\/doi.org\/10.1007\/s10703-025-00486-1","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2025,10,3]]},"assertion":[{"value":"12 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"3 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author has no conflicts of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of Interest"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}