1. Multiplicative equations over commuting matrices;Babai,1996
2. Markov chains and unambiguous Büchi automata;Baier,2016
3. Algorithms in Real Algebraic Geometry;Basu,2006
4. Matrix equations and Hilbert's tenth problem;Bell;Int. J. Algebra Comput.,2008
5. Mortality for 2×2 matrices is NP-hard;Bell,2012