sympy
IPython
