SMS versenden: Computational commutative and non-commutative algebraic geometry