@inproceedings{https___doi.org_10.4230_lipics.stacs.2024.27,
    doi = {10.4230/lipics.stacs.2024.27},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.27},
    author = {D'Costa, Julian and Ouaknine, Joël and Worrell, James},
    keywords = {Decidability, Linear Recurrence Sequences, Schanuel’s Conjecture, Computing methodologies → Symbolic and algebraic manipulation, Theory of computation → Formal languages and automata theory},
    language = {en},
    title = {Nonnegativity Problems for Matrix Semigroups},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-2-6 7:22:44 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.stacs.2024.27, doi = {10.4230/lipics.stacs.2024.27}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.27}, author = {D'Costa, Julian and Ouaknine, Joël and Worrell, James}, keywords = {Decidability, Linear Recurrence Sequences, Schanuel’s Conjecture, Computing methodologies → Symbolic and algebraic manipulation, Theory of computation → Formal languages and automata theory}, language = {en}, title = {Nonnegativity Problems for Matrix Semigroups}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-2-6 7:22:44 +0100} }