egison/differential-geometry

Egison programs for basic calculations in differential geometry

Jupyter Notebook