@misc{indiciaeba6126c7f1b5,
  title = {Quantum algorithms for equational reasoning},
  author = {Davide Rattacaso and Daniel Jaschke and Marco Ballarin and Ilaria Siloi and Simone Montangero},
  year = {2026},
  doi = {10.1126/sciadv.aec2736},
  url = {https://arxiv.org/abs/2508.21122},
  note = {Source identifier: 2508.21122}
}