An, C., Ye, Q., Pan, M., & Zhang, J. (2026). QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems.
Style de citation Chicago (17e éd.)An, Chenyang, Qihao Ye, Minghao Pan, et Jiayaun Zhang. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.
Style de citation MLA (9e éd.)An, Chenyang, et al. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.