sympy
IPython