Symbolic Mathematics with Python