Ask HN: What are the best computer algebra systems?

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