You-Cheng Lin, Yi-Ting Li, Wuqian Tang, Yung-Chih Chen, Chia-Chieh Chu, Chun-Yao Wang. A Mathematical Exploration to Equivalence Checking of Quantum Circuits. In Design, Automation & Test in Europe Conference, DATE 2026, Verona, Italy, April 20-22, 2026. pages 1-3, IEEE, 2026. [doi]
Abstract is missing.