Sympy
SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python.
https://www.sympy.org/en/index.html
Packages that use SymPy
https://github.com/sympy/sympy.github.com/issues/129
Official documents
SymPy Tutorial
https://docs.sympy.org/latest/tutorial/index.html
Tutorials
Symbolic Computation with Python using SymPy
algebra_with_sympy API documentation
Tips
SymPy simplify does not attempt factoring - Stack Overflow
https://stackoverflow.com/questions/52243009/sympy-simplify-does-not-attempt-factoring
Simplify sympy.KroneckerDelta - Stack Overflow
https://stackoverflow.com/questions/52249599/simplify-sympy-kroneckerdelta
Integrating Hypothesis into SymPy | Labs