Non-commutative algebra and applications for quantum groups, non-commutative geometry, symbolic computation