Here is an idea I am exploring.

I’d like some feedback on this idea. If anyone can point me at research already done in this area, that would be appreciated. My objective is to use this to justify the use of technology in mathematics as a way of reducing algorithmic complexity so that deeper concepts can be more readily understood.