References
- Ben Amor, F., Yengui, I. (2021). The trailing terms ideal. J. Algebra Appl. 20(9):2150153. DOI: 10.1142/S021949882150153X.
- Hadj Kacem, A., Yengui, I. (2010). Dynamical Gröbner bases over Dedekind rings. J. Algebra 324(1):12–24. DOI: 10.1016/j.jalgebra.2010.04.014.
- Heinzer, W., Papick, I. J. (1989). Remarks on a Remark of Kaplansky. Proc. Amer. Math. Soc. 105(1):1–9. DOI: 10.1090/S0002-9939-1989-0973834-8.
- Kemper, G., Trung, N.V. (2014). Krull dimension and monomial orders. J. Algebra 399:782–800. DOI: 10.1016/j.jalgebra.2013.10.005.
- Lombardi, H. (2002). Dimension de Krull, Nullstellensätze et Évaluation dynamique. Math. Zeitschrift. 242(1):23–46. DOI: 10.1007/s002090100305.
- Lombardi, H., Neuwirth, S., Yengui, I. (2019). The syzygy theorem for strongly discrete coherent rings. Preprint.
- Lombardi, H., Quitté, C. (2015). Commutative algebra: constructive methods. Finite projective modules. Algebra and Applications, 20, Springer, Dordrecht. Translated from the French (Calvage & Mounet, 2011, revised and extended by the authors) by Tania K. Roblot.
- Lombardi, H., Quitté, C., Yengui, I. (2008). Hidden constructions in abstract algebra (6) The theorem of Maroscia, Brewer and Costa. J. Pure and Applied Algebra 212(7):1575–1582. DOI: 10.1016/j.jpaa.2007.10.009.
- Lombardi, H., Schuster, P., Yengui, I. (2012). The Gröbner ring conjecture in one variable. Math. Z. 270(3–4):1181–1185. DOI: 10.1007/s00209-011-0847-1.
- Mines, R., Richman, F., Ruitenburg, W. (1988). A Course in Constructive Algebra. Universitext. Berlin, Heidelberg: Springer-Verlag.
- Yengui, I. (2015). Constructive Commutative Algebra. Lecture Notes in Mathematics, no 2138. Berlin, Heidelberg: Springer.