@@ -340,7 +340,7 @@ This will employ existing languages and implementations for them:
\item OMDoc \cite{Kohlhase:OMDoc1.2} is a representation format for symbolic data. It has been under (academic) development by the PIs of site \site{FAU} for over two decades.
\item MMT \cite{uniformal:on} is a language definition and knowledge management framework based on OMDoc. It has been designed, implemented, and maintained by the PIs of \site{FAU} for 15 years.
\item Mathematical schemas are a standard for specifying the structure of mathematical datasets, together with an MMT-based implementation of that standard.
They were developed by the PIs of \site{FAU} and \site{PS} in the OpenDreamKit project (2015--2019) and have been tested on the LMFDB, FindStat, and DiscreteZoo dataset and has been used with outside users.
They were developed by the PIs of \site{FAU} and \site{PS} in the OpenDreamKit project (2015--2019) and have been tested on the LMFDB, FindStat, and DiscreteZoo datasets and has been used with outside users.
\item Modelica is a modeling and implementation language for cyber-physical systems. It has developed since 2000~\cite{Modelica:on} and is widely used in academia and industry.
The PIs of \site{CAE} and \site{EMS} are integral members of the Modelica community.
%\item The Modelica Association has an informal standard for distribution of open-source libraries via GitHub that allows for crawling and dependency-analysis, with a prototype tool for indexing and searching, ~\cite{TillerWinkler14} and ~\cite{TillerWinkler15}.
...
...
@@ -367,7 +367,7 @@ These are conceptually part of the SageMath ecosystem but are listed separately
\item Sage-Explorer (\url{https://github.com/sagemath/sage-explorer}) is a prototype of live data browser for SageMath, developed by OpenDreamKit. It exploits the introspection features of the Python language and the semantic embedded into SageMath to offer rich interlinked views, letting the user query, explore, and navigate through the mathematical objects available in a SageMath session.
\item The MMT-Python bridge \cite{mmt:repo:on} allows working with MMT documents from within Python and SageMath (including memory sharing).
It was developed by the \site{FAU} PIs during the OpenDreamKit project.
\item The DiscreteZOO SageMath package enables working with databases of graphs through SageMath. It was developed by the\site{UL} PIs.
\item The DiscreteZOO SageMath package enables working with databases of graphs through SageMath. It was developed at\site{UL}.
\end{compactenum}
\item Within the zbMATH infrastructure developed and maintained at \site{FIZ}, several services have been developed and are in active use.
These will be used in \taskref{services}{A} and \taskref{services}{F}.
