WP2: Dissemination

Report on the Workshop on Data in Mathematics, Cernay-la-Ville

Learn more >

Report on Sage Days 102, University of Ibadan, Nigeria

Learn more >

Logipedia - an OpenDreamKit for Theorem Proving?

Learn more >

Using Virtual Reality to Explore Mathematical Knowledge

Learn more >

Report on the WP6-WIAS Workshop on Math-in-the-Middle Content

Learn more >

Workshop: Computational Mathematics with Jupyter

Learn more >
<