The work I'm doing is in the intersection of math and programming and I'm often coding functions or computations that I've proven to satisfy certain mathematical properties or follow from certain ...