Maxima is also an amazing tool for symbolic maths, and is free software. I especially recommend the wxMaxima interface which is close in spirit to jupyter notebook
I'm taking this opportunity to post a video I made some time ago of my current work-in-progress, a new user interface to Maxima. It's more like a regular commandline compared to wxMaxima, which may or may not be what users want.