symbolic mathematics for python