https://en.wikipedia.org/wiki/Axiom_(computer_algebra_system... is a literate program.