That will be the aim of 'computational mathetics'. First, however, it will be fun to consider two analogies, risky though they always are. It has been said that the design of computer-based learning environments is a form of 'educational engineering'. If only it were so. The 'educational engineering' term is based on a derogatory characterisation of engineering as the undisciplined design of devices by tinkering with them until they appear to work.
Modern engineering is different.
Let us consider the case of aeronautical engineering.