An open source toolbox for pure mathematics

The field of pure mathematics has always depended on computers to make tables, prove theorems and explore new theories. Today, computer aided experiments and the use of databases relying on computer calculations are part of the pure mathematician’s standard toolbox. In fact, these tools have become so important that some areas of mathematics are now […]