2 papers
quant-ph2026
Formal Modeling and Verification of Grover's Algorithm
H. Sun, Z. Shi, S. Chen +5
Grover's algorithm relies on the superposition and interference of quantum mechanics, which is more efficient than classical computing in specific tasks such as searching an unsort…
cs.RO2023
Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra
Yingjie Wu, Guohui Wang, Shanyan Chen +3
Cooperative robots can significantly assist people in their productive activities, improving the quality of their works. Collision detection is vital to ensure the safe and stable…