An automatic system to detect equivalence between iterative algorithms
From MaRDI portal
Publication:6367313
arXiv2105.04684MaRDI QIDQ6367313
Madeleine Udell, Shipu Zhao, Laurent Lessard
Publication date: 10 May 2021
This page was built for publication: An automatic system to detect equivalence between iterative algorithms
