I have been thinking for a while that new ed-tech software, such as Babbel, could be applied to higher level mathematics. Although visualisations of mathematical forms, akin to diagrams, are often seen in for example Wikipedia pages, it does not seem that highly interactive software has been designed to the potential that it can be imagined.
For example, imagine an animated, interactive simulation designed to make intuitive the principles of special relativity. I haven't worked out the details, but, you might imagine that you can control the velocity at which some object travels, play with different parameters like the speed of light (slowing it down), and observe in an intuitive way some of the known effects, i.e., time dilation, length contraction, etc, in relation to other on-screen objects, almost like a pleasant video game.
Or, imagine making interactive animations of algebraic structures. A group could be an actual on-screen object. Clicking on two of the elements, the object that is their composition lights up and makes a sound. Or, for a category, for each pair of objects is associated a set of arrows - one could click on each pair, and see a little window opening with those arrows. There are many courses called "Visual Group Theory" making group theory very accessible - could not these ideas could be applied one step further, in interactive, highly visual programs?
One could imagine Euclid's Elements being turned into software. One could devise a way of clicking on two line segments or filling in some key information on a diagram that the software accepts as a valid step in the proof, almost like filling in a Sudoku. Slowly working through each proof would be like solving a little puzzle in The Legend of Zelda.
Or even merely taking a book like Tristan Needham's Visual Complex Analysis, but "gamifying" it - the Table of Contents are modules - you get a little green "completion" check when you finish one - it displays the text one sentence or paragraph at a time, you proceed by clicking "next" - and the exercises give immediate feedback, flashing red if the wrong answer is given, green if correct.
Does anything remotely similar to this exist? Thank you.