Formalizing Galois Theory
From MaRDI portal
Publication:5094476
DOI10.1080/10586458.2021.1986176MaRDI QIDQ5094476
Publication date: 3 August 2022
Published in: Experimental Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2107.10988
Uses Software
Cites Work