Math-in-the-Middle

Select by tag

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

Logipedia - an OpenDreamKit for Theorem Proving?

Using Virtual Reality to Explore Mathematical Knowledge

New OMDoc/MTT tutorial for mathematicians

Composing mathematical computational software and databases: MitM to the rescue

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

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

OpenDreamKit at Groups St Andrews in Birmingham

Exporting mathematical knowledge from Sage

Personal debriefing of CICM'2016

Interoperability in the OpenDreamKit Project:

OpenMath in OpenDreamKit

Project meetings, review and workshop

WP6 paper art CICM 2016

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

<