Explore projects

The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.

the standard library

Sources included with the FoCaLiZe distribution

Tom's guided research project

The logical foundation(al theories) used by MitM projects

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

INFRASTRUCTURE: the meta information for the Math-in-the-Middle Ontology

meta info for PVS

a study

KRMT SS2017