From Open Science to Open Mathematics - Felix Breuer's Blog

" ... what do open science and open data mean for mathematics? As exciting as the open science and open data movements are, they appear at first glance to be largely unrelated to the world of pure mathematics, which revolves around theorems and proofs instead of experimental data. And theorems and proofs are 'open' the moment they are published, right? Does this mean that mathematics is already 'open'?  What does open mathematics mean beyond math papers being freely available to anyone, under an open license?  The goal is to make mathematics more useful to everyone. This includes: [1] Discovery. How can we make relevant mathematical research easier to find? [2] Understanding. How can we make math papers easier to comprehend for a wider range of people? [3] Exploration. How can we allow readers to interact with our work? [4] Application. How can we make mathematical knowledge easier to use in many different contexts? [5] Modification. How can we make it easier to build upon mathematical research?  We can open up new possibilities in each of these areas by reimagining what it means to publish mathematical research ..."