19 citations · 50 across the 7 of their papers we have counts for
1 paper · 2 filters
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…