Hello I have recently started to study General Relativity through a bunch of lecture notes in my spare time. I never got a chance to take up this topic while at uni. I wanted to work through the equations so as to better digest the material. The catch is I am trying to establish a workflow where I can type out all of my notes on my laptop and upload. I wanted to know if there is any software which would allow to do the mathematics (including working through the equations) on my laptop itself. I am not against using the pen-and-paper approach, I am simply looking to experiment. Any opinions / suggestions are most welcome.