Math-in-the-Middle

ODK continuation Proposal: FAIRmat (FAIR Mathematical Data for the European Open Science Cloud)

Learn more >

Logipedia - an OpenDreamKit for Theorem Proving?

Learn more >

Using Virtual Reality to Explore Mathematical Knowledge

Learn more >

Composing mathematical computational software and databases: MitM to the rescue

Learn more >

Research Software Engineer position opening at Université Paris-Sud (filled)

Learn more >

WP6 Math-in-the-Middle Integration Use Case to be Published at MACIS-2017 (two papers)

Learn more >

OpenDreamKit at Groups St Andrews in Birmingham

Learn more >

Interoperability in the OpenDreamKit Project:

Learn more >

St. Andrews Workshop explored "Math-in-the-Middle" Paradigm for Integration

Learn more >
<