1. [1] Awodey, Steve Category theory, Oxford Logic Guides, 52, Oxford University Press, Oxford, 2010, xvi+311 pages
2. Massively parallel computation of tropical varieties, their positive part, and tropical Grassmannians;Bendle, Dominik;J. Symbolic Comput.,2024
3. Julia: a fresh approach to numerical computing;Bezanson, Jeff;SIAM Rev.,2017
4. [4] Bokowski, Jürgen; Sturmfels, Bernd Computational synthetic geometry, Lecture Notes in Mathematics, 1355, Springer-Verlag, Berlin, 1989, vi+168 pages
5. Ample families, multihomogeneous spectra, and algebraization of formal schemes;Brenner, Holger;Pacific J. Math.,2003