SAGE? I know of the herb and the mathematical Python simplification.