SymPy is an open source Python library for symbolic mathematics.
I know that sympy in python can set assumptions on variables, such as x is positive, negative, real, complex, etc. …
python math sympyIn sage it is fairly easy to do a Taylor expansion of an unknown function f(x), x = var('x') …
python sympy