35 citations · 86 across the 22 of their papers we have counts for
1 paper · 2 filters
Russell Miller, Alexey Ovchinnikov, Dmitry Trushin
Kronecker's Theorem and Rabin's Theorem are fundamental results about computable fields F and the decidability of the set of irreducible polynomials over F. We adapt these theorems…