Văn bản này: Computational commutative and non-commutative algebraic geometry