An, C., Ye, Q., Pan, M., & Zhang, J. (2026). QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems.
Chicago-Zitierstil (17. Ausg.)An, Chenyang, Qihao Ye, Minghao Pan, und Jiayaun Zhang. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.
MLA-Zitierstil (9. Ausg.)An, Chenyang, et al. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.