Skip to content
Snippets Groups Projects
Commit e1ce3345 authored by Andreas Schärtl's avatar Andreas Schärtl
Browse files

report: add abstract

parent f1d1827f
Branches
No related tags found
No related merge requests found
\lipsum[1]
Organizational data extracted from mathematical libraries has the
potential to be usable in the design of a universal search engine for
mathematical knowledge. However, it is not enough to only extract this
data into a unified format, it is also necessary to make this data
easily available. The project \emph{ulo-storage} which this report
documents had the aim of doing just that. Collect various pieces of
exported data sets into a centralized and efficient store, make that
storage engine available as a publicly available endpoint and then
evaluate different ways of querying that store.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment