TY  - RPRT
TI  - Quantum algorithms for equational reasoning
AU  - Davide Rattacaso
AU  - Daniel Jaschke
AU  - Marco Ballarin
AU  - Ilaria Siloi
AU  - Simone Montangero
PY  - 2026
DO  - 10.1126/sciadv.aec2736
UR  - https://arxiv.org/abs/2508.21122
ID  - 2508.21122
ER  -