WP6: Data/Knowledge/Software bases

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 >

Modularity and composability in Mathematical Computation

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 >

Post doc position opening at Université Paris-Sud

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 >

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

Learn more >

Interoperability in the OpenDreamKit Project:

Learn more >

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

Learn more >

Knowledge representation in mathematical software and databases & Steering Committee

Learn more >
<