Search

Research Spotlight

Michael Joswig — What is Mathematical Software?

Veröffentlicht am 03.06.2021

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.

Ich bin damit einverstanden, dass mir externe Inhalte angezeigt werden. Damit können personenbezogene Daten an Drittplattformen übermittelt werden.