report: add intro

doc/report/Makefile

-TEX_SOURCES = report.tex abstract.tex endpoints.tex applications.tex
+TEX_SOURCES = report.tex abstract.tex intro.tex endpoints.tex applications.tex
 
 report.pdf: $(TEX_SOURCES) references.bib
 	chronic pdflatex $<

doc/report/intro.tex

+\section{Introduction}
+
+To tackle the vast array of mathematical publications, various ways of
+\emph{computerizing} mathematical knowledge have been researched and
+developed. As it is already difficult for human mathematicians to keep
+even a subset of all mathematical knowledge in their mind, a hope is
+that computerization will yield great improvement to mathematical (and
+really any) research by making the results of all collected research
+readily available~\cite{onebrain}.
+
+One research topic in this field is the idea of a \emph{tetrapodal
+search} that combines four distinct areas of mathematical knowledge
+and data. These four kinds being (1)~the actual formulae as \emph{symbolic
+knowledge}, (2)~examples and concrete objects as \emph{concrete knowledge},
+(3)~names and comments as \emph{narrative knowledge} and finally
+(4)~identifiers, references and their relationships, referred to as
+\emph{organizational knowledge}~\cite{tetra}.
+
+Tetrapodal search wants to provide a unified search engine that
+indexes each of those four different subsets of mathematical
+knowledge.  Because all four kinds of knowledge are inherently
+different in their structure, tetrapodal search proposes that each
+kind of mathematical knowledge should be made available in a storage
+and index backend that fits exactly with the kind of data it is
+storing. With all four areas available for querying, tetrapodal search
+wants to then combine the four indexes into a single query interface.

doc/report/references.bib

@@ -55,14 +55,7 @@
     organization={Springer}
 }
 
-@online{tetra,
-    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
-    author={Bercic, Katja Kohlhase, Michael Rabe, Florian},
-    urldate = {2020-06-16},
-    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
-}
-
-@article{mmtbase,
+@article{onebrain,
     title={Mathematical knowledge management: transcending the one-brain-barrier with theory graphs},
     author={Kohlhase, Michael},
     journal={European Mathematical Society (EMS) Newsletter},
@@ -71,6 +64,13 @@
     year={2014}
 }
 
+@online{tetra,
+    title={Towards a Heterogeneous Query Language for Mathematical Knowledge},
+    author={Bercic, Katja and Kohlhase, Michael and Rabe, Florian},
+    urldate = {2020-06-16},
+    url = {https://kwarc.info/people/mkohlhase/papers/cicm20-search.pdf},
+}
+
 @book{owl,
     title={A semantic web primer},
     author={Antoniou, Grigoris and Van Harmelen, Frank},

doc/report/report.tex

@@ -42,6 +42,7 @@
   expecting a real report just yet. ---
 }
 
+\input{intro.tex}
 \input{endpoints.tex}
 \input{applications.tex}