Computational Commutative and Non-Commutative Algebraic Geom