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]
@inproceedings{KenisonKV23,
title = {From Polynomial Invariants to Linear Loops},
author = {George Kenison and Laura Kovács and Anton Varonka},
year = {2023},
doi = {10.1145/3597066.3597109},
url = {https://doi.org/10.1145/3597066.3597109},
researchr = {https://researchr.org/publication/KenisonKV23},
cites = {0},
citedby = {0},
pages = {398-406},
booktitle = {Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, ISSAC 2023, Tromsø, Norway, July 24-27, 2023},
editor = {Alicia Dickenstein and Elias P. Tsigaridas and Gabriela Jeronimo},
publisher = {ACM},
}