1. Ballarin, C.: Tutorial to locales and locale interpretation. In: Lambán, L., Romero, A., Rubio, J. (eds.) Contribuciones Científicas en Honor de Mirian Andrés Gómez, pp. 123–140. Servicio de Publicaciones de la Universidad de La Rioja (2010). Part of the Isabelle documentation:
https://isabelle.in.tum.de/dist/Isabelle2017/doc/locales.pdf
2. Bentkamp, A.: Expressiveness of deep learning. Archive of Formal Proofs (2016). Formal proof development:
http://isa-afp.org/entries/Deep_Learning.html
3. Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Mathematisches Institut, Universität Innsbruck, Austria (1965). English Translation in J. Symb. Comput. 41(3–4), 475–511 (2006)
4. Buchberger, B.: Towards the automated synthesis of a Gröbner bases algorithm. RACSAM, Serie A: Math. 98(1), 65–75 (2004)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Chaieb,2007