WP6: Data/Knowledge/Software bases

Select by tag

Sharing a mathematical dataset online

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

Modularity and composability in Mathematical Computation

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)

Post doc position opening at Université Paris-Sud

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

Workshop on live structured documents

OpenDreamKit at Groups St Andrews in Birmingham

Exporting mathematical knowledge from Sage

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

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

Knowledge representation in mathematical software and databases & Steering Committee

<