MathVRE as temporary acronym for the project