Python library for symbolic mathematics
