George Kenison, Laura Kovács, Anton Varonka. From Polynomial Invariants to Linear Loops. In Alicia Dickenstein, Elias P. Tsigaridas, Gabriela Jeronimo, editors, Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023. pages 398-406, ACM, 2023. [doi]
Abstract is missing.