Infermath links mathematical theory with programming application to give high level understanding of quantitative fields