Michael Joswig — What is Mathematical Software?

What Is Mathematical Software?

A short answer to this question is: Mathematical Software is what mathematics receives as a benefit from the digital age. This is relevant because Mathematical Software is useful in many ways.

For instance, Mathematical Software serves as a tool to support traditional methods of mathematical research; this includes routine computations and the construction of explicit examples. Secondly, via massive computations, Mathematical Software can liberate mathematics from being restricted to proofs that are very short. Finally, Mathematical Software represents a large body of mathematical knowledge; in this way mathematical results become accessible to non-experts in other fields of science.