We often think of a programming language as a means to implement and check mathematics or as a sideshow to raise conjectures only to be hidden when the paper comes out. We argue that while all this is true, elegant open source software has the power to create much more. In this talk, we will provide examples, and suggest how the traditional academic view of paper first, computation secondary needs to be more flexible.
展开▼