Make computer-aided research more verifiable

A central problem with modern computer-aided research is that research based on long computations becomes difficult to verify. It is thus unclear how and why such should be trusted. The most widely discussed aspect of this problem is the (non-)reproducibility of computational work, but the issue...

By Konrad Hinsen