1. The meaning of infinity in calculus and computer algebra systems
2. Nicolas Bourbaki. 1966. Elements of mathematics. General topology. Part 1. Hermann Paris; Addison-Wesley Publishing Co. Reading Mass.-London-Don Mills Ont. vii+437 pages. Nicolas Bourbaki. 1966. Elements of mathematics. General topology. Part 1. Hermann Paris; Addison-Wesley Publishing Co. Reading Mass.-London-Don Mills Ont. vii+437 pages.
3. Nicolas Bourbaki. 1998. Commutative algebra. Chapters 1–7. SpringerVerlag Berlin. xxiv+625 pages. Translated from the French Reprint of the 1989 English translation. Nicolas Bourbaki. 1998. Commutative algebra. Chapters 1–7. SpringerVerlag Berlin. xxiv+625 pages. Translated from the French Reprint of the 1989 English translation.
4. Kevin Buzzard Ramon Fernández Mir Chris Hughes and Kenny Lau. 2019. Schemes in Lean. https://github.com/ramonfmir/lean-scheme Kevin Buzzard Ramon Fernández Mir Chris Hughes and Kenny Lau. 2019. Schemes in Lean. https://github.com/ramonfmir/lean-scheme