Thomas Browning, Patrick Lutz. Formalizing Galois Theory. Experimental Mathematics, 31(2):413-424, 2022. [doi]
@article{BrowningL22, title = {Formalizing Galois Theory}, author = {Thomas Browning and Patrick Lutz}, year = {2022}, doi = {10.1080/10586458.2021.1986176}, url = {https://doi.org/10.1080/10586458.2021.1986176}, researchr = {https://researchr.org/publication/BrowningL22}, cites = {0}, citedby = {0}, journal = {Experimental Mathematics}, volume = {31}, number = {2}, pages = {413-424}, }