Splitting Fields for the Rational Polynomials X2-2, X2+X+1, X3-1, and X3-2. - Christoph Schwarzweller; Sara Burgoa (Formaliz. Math., 2022)