Egison programs for basic calculations in differential geometry - View it on GitHub