There are seemingly a lot [0] of comuter algebra systems out there! I am a mathematics PhD and often work with a large zoo of inequalities. I would love to just know what people like using.[0]: https://en.wikipedia.org/wiki/List_of_computer_algebra_systems