The Univalent Foundations Program [Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten; Awodey, Steve; Barras, Bruno; Bauer, Andrej; Bertot, Yves; Bezem, Marc; Coquand, Thierry; Finster, Eric; Grayson, Daniel; Herbelin, Hugo; Joyal, Andre; Licata, Dan; Lumsdaine, Peter; Mahboubi, Assia; Martin-Lof, Per; Melikhov, Sergey; Pelayo, Alvaro; Polonsky, Andrew; Shulman, Michael; Sozeau, Matthieu; Spitters, Bas; van den Berg, Benno; Voevodsky, Vladimir; Warren, Michael; Zeilberger, Noam; Angiuli, Carlo; Bordg, Anthony; Brunerie, Guillaume; Kapulkin, Chris; Rijke, Egbert; Sojakova, Kristina; Avigad, Jeremy; Cohen, Cyril; Constable, Robert; Curien, Pierre-Louis; Dybjer, Peter; Escardo, Martín; Hou, Kuen-Bang; Gambino, Nicola; Garner, Richard; Gonthier, Georges; Hales, Thomas; Harper, Robert; Hofmann, Martin; Hofstra, Pieter; Kock, Joachim; Kraus, Nicolai; Li, Nuo; Luo, Zhaohui; Nahas, Michael; Palmgren, Erik; Riehl, Emily; Scott, Dana; Scott, Philip; Soloviev, Sergei] Homotopy type theory. Univalent foundations of mathematics. (English) Zbl 1298.03002 Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press. ix, 468 p. (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03-02 55-02 03B15 03G30 18A15 18B05 55U40 PDF BibTeX XML Cite \textit{The Univalent Foundations Program}, Homotopy type theory. Univalent foundations of mathematics. Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press (2013; Zbl 1298.03002) Full Text: arXiv Link OpenURL
Vasconcelos, Wolmer V. [Eisenbud, David; Grayson, Daniel R.; Herzog, Jürgen; Stillman, Michael] Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman. 3rd printing. (English) Zbl 1095.13034 Algorithms and Computation in Mathematics 2. Berlin: Springer (ISBN 3-540-21311-2/pbk). xiii, 408 p. (2004). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 13P10 14Qxx 13Pxx PDF BibTeX XML Cite \textit{W. V. Vasconcelos}, Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman. 3rd printing. Berlin: Springer (2004; Zbl 1095.13034) OpenURL