Almagor, Shaull; Ouaknine, Joël; Worrell, James First-order orbit queries. (English) Zbl 1518.37014 Theory Comput. Syst. 65, No. 4, 638-661 (2021). MSC: 37B10 03B25 11J83 11J86 14P10 PDFBibTeX XMLCite \textit{S. Almagor} et al., Theory Comput. Syst. 65, No. 4, 638--661 (2021; Zbl 1518.37014) Full Text: DOI Link
Fijalkow, Nathanaël; Ohlmann, Pierre; Ouaknine, Joël; Pouly, Amaury; Worrell, James Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem. (English) Zbl 1461.37028 Theory Comput. Syst. 63, No. 5, 1027-1048 (2019). MSC: 37C35 37C79 68U05 PDFBibTeX XMLCite \textit{N. Fijalkow} et al., Theory Comput. Syst. 63, No. 5, 1027--1048 (2019; Zbl 1461.37028) Full Text: DOI arXiv HAL
Cheng, Qi; Tarasov, Sergey P.; Vyalyi, Mikhail N. Efficient algorithms for sparse cyclotomic integer zero testing. (English) Zbl 1183.68720 Theory Comput. Syst. 46, No. 1, 120-142 (2010). MSC: 68W05 PDFBibTeX XMLCite \textit{Q. Cheng} et al., Theory Comput. Syst. 46, No. 1, 120--142 (2010; Zbl 1183.68720) Full Text: DOI