1. Aberdein A, Inglis M (eds) (2019) Advances in experimental philosophy of logic and mathematics. Bloomsbury, London
2. Alcock L, Inglis M, Lew K, Mejía-Ramos JP, Rago P, Sangwin C (2017) Comparing expert and learner mathematical language: a corpus linguistics approach. In: Weinberg A, Rasmussen C, Rabin J, Wawro M, Brown S (eds) Proceedings of the 21st annual conference on research on undergraduate mathematics education. RUME, San Diego, pp 478–484
3. Andersen LE (2020) Acceptable gaps in mathematical proofs. Synthese 197:233–247
4. Anthony L (2020) AntConc (Version 3.5.9) [Computer Software]. Waseda University, Tokyo. Available from https://www.laurenceanthony.net/software
5. LNAI;A De Lon,2020