Differential geometry and lie groups : a computational perspective (2020)