Extracting programs from proofs (minicourse) Ingo Blechschmidt 2024 Website The stable rank of \mathbbZ[x] is 3 Luc Guyot 2024 arXiv Maximal ideals in countable rings, constructively Ingo Blechschmidt, and Peter Schuster In Revolutions and revelations in computability, 2022 DOI arXiv Generalized spaces for constructive algebra Ingo Blechschmidt In Proof and computation II—from proof theory and univalent mathematics to program extraction and verification, 2022 DOI arXiv Syntax for semantics: Krull’s maximal ideal theorem Peter Schuster, and Daniel Wessel In Paul Lorenzen—mathematician and logician, 2021 DOI Isomorphisms between cylinders over Danielewski surfaces Lucy Moser-Jauslin, and Pierre-Marie Poloni Beitr. Algebra Geom., 2021 DOI arXiv Valuative dimension and monomial orders Gregor Kemper, and Ihsen Yengui J. Algebra, 2020 DOI arXiv Zariski Cancellation Pedro Núñez 2020 Website An elementary and constructive proof of Grothendieck’s generic freeness lemma Ingo Blechschmidt 2018 arXiv Prime congruences of additively idempotent semirings and a Nullstellensatz for tropical polynomials Dániel Joó, and Kalina Mincheva Selecta Math. (N.S.), 2018 DOI arXiv Krull dimension and monomial orders Gregor Kemper, and Ngo Viet Trung J. Algebra, 2014 DOI arXiv Krull dimension of polynomial and power series rings John J. Watkins In Progress in commutative algebra 2, 2012 DOI The Transcendence Degree over a Ring Gregor Kemper 2011 arXiv Affine varieties with equivalent cylinders Vladimir Shpilrain, and Jie-Tai Yu J. Algebra, 2002 DOI arXiv Euler classes of inner product modules Maynard Kong J. Algebra, 1977 DOI Théorie de la dimension dans les anneaux de polynomes Paul Jaffard 1960