From Polynomial Invariants to Linear Loops

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]

Authors

George Kenison

This author has not been identified. Look up 'George Kenison' in Google

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google

Anton Varonka

This author has not been identified. Look up 'Anton Varonka' in Google