From e1ce3345fd4f181378e8b56d1783d09529948fa7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me> Date: Tue, 16 Jun 2020 16:09:20 +0200 Subject: [PATCH] report: add abstract --- doc/report/abstract.tex | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/doc/report/abstract.tex b/doc/report/abstract.tex index f6276be..98496d5 100644 --- a/doc/report/abstract.tex +++ b/doc/report/abstract.tex @@ -1 +1,9 @@ -\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. -- GitLab