36 citations · 143 across the 40 of their papers we have counts for
1 paper · 1 filter
Bassel Mannaa, Thierry Coquand
In constructive algebra one cannot in general decide the irreducibility of a polynomial over a field K. This poses some problems to showing the existence of the algebraic closure o…