Algebra and Applications
Fajardo / Gallego / Lezama
Ring and Module-theoretic Properties, Matrix and Gröbner Methods, and Applications
Paoli
Simplicial Methods for Higher Categories
Simplicial Methods for Higher Categories
Segal-type Models of Weak n-Categories
Barot / Jiménez González / de la Peña
Combinatorics and Numerical Results
Lombardi / Quitté
Commutative Algebra: Constructive Methods
Commutative Algebra: Constructive Methods
Finite Projective Modules