Skip to content
Snippets Groups Projects
Commit 22f745d4 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

draining

parent 459365d5
No related branches found
No related tags found
No related merge requests found
...@@ -85,7 +85,7 @@ The proposers have developed or been involved with multiple leading candidates f ...@@ -85,7 +85,7 @@ The proposers have developed or been involved with multiple leading candidates f
%What we need is a deep FAIR mathematical interoperability framework which takes ``semantic referencing'' of mathematical objects seriously and builds differing, but equivalent, representation approaches into the system at the core. %What we need is a deep FAIR mathematical interoperability framework which takes ``semantic referencing'' of mathematical objects seriously and builds differing, but equivalent, representation approaches into the system at the core.
%OpenMath and content MathML go the first step towards this by ``semantically referencing'' a concept via its name and a pointer to the content dictionary that defines it, but lack a system of interpretations (crosswalks) between content dictionaries. %OpenMath and content MathML go the first step towards this by ``semantically referencing'' a concept via its name and a pointer to the content dictionary that defines it, but lack a system of interpretations (crosswalks) between content dictionaries.
%Humans use such crosswalks all the time e.g. for coordinate transformations or unit changes. %Humans use such crosswalks all the time e.g. for coordinate transformations or unit changes.
%Such representation formalisms with first-class interpretations have been pioneered by the proposers (and practically developed as the ``Math-in-the-Middle framework'' in the OpenDreamKit project), but have to be adapted to mathematical data and scaled to EOSC levels, and standardized for deep FAIRness. %Such representation formalisms with first-class interpretations have been pioneered by the proposers (and practically developed as the ``Mth-in-the-Middle framework'' in the OpenDreamKit project), but have to be adapted to mathematical data and scaled to EOSC levels, and standardized for deep FAIRness.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\paragraph{Kinds of mathematical data} \paragraph{Kinds of mathematical data}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment