1. Aczel, P.: Galois: a theory development project. Department of Computer Science and Mathematics, Manchester University, U.K.
http://www.cs.man.ac.uk/~petera/galois.ps.gz
(1995)
2. Affeldt, R., Garrigue, J., Saikawa, T.: Formalization of Reed–Solomon codes and progress report on formalization of LDPC codes. In: The 2016 International Symposium on Information Theory and its Applications (ISITA 2016), pp. 532–536 (2016)
3. Arneson, B., Baaz, M., Rudnicki, P.: Witt’s proof of the Wedderburn theorem. J. Formaliz. Math. 12, 69–75 (2003)
4. Arneson, B., Rudnicki, P.: Primitive roots of unity and cyclotomic polynomials. J. Formaliz. Math 12, 59–67 (2003)
5. Asperti, A., Armentano, C.: A page in number theory. J. Formaliz. Reason. 1(1), 1–23 (2008)