diff --git a/doc/report/applications.tex b/doc/report/applications.tex index 48fc3b5ae5ce726104c00961facd48d872172c14..aec7f415afeced144cd41991adcdce6b93b6f9be 100644 --- a/doc/report/applications.tex +++ b/doc/report/applications.tex @@ -1,3 +1,4 @@ +\newpage \section{Applications}\label{sec:applications} With endpoints in place, we can now query the ULO/RDF @@ -51,3 +52,55 @@ that (1)~the query language is intuitive and easy to use for this specific use case and (2)~execution is still fast as the underlying SPARQL database is already very optimized. +% This does not really fit, in general this entire section is kind +% of a mess and contains more stuff about things that do not even +% exist yet than actual information. + +\subsection{Querying for Tetrapodal Search} + +The first introduction of tetrapodal search contains various queries +that such a system should answer~\cite{tetra}. For each of the +suggested queries, we experimented how well ULO/RDF can answer this +queries. As \emph{ulo-storage} provides only one of the four required +kinds of mathematical knowledge required by tetrapodal search, not all +queries could be answered. They are replicated here in verbatim. + +\begin{enumerate} + +\item Find theorems with non-elementary proofs. + +\item Find algorithms that solve $NP$-complete graph problems. + +\item Find integer sequences whose generating function is a rational + polynomial in $\sin(x)$ that has a Maple implementation not affected + by the bug in module~$x$. + +\item $CAS$ implementation of Groebner bases that conform to a + definition in AFP. + +\item Find all group representations that are good for~$X$ (say a + software engineer working on something and doesn't know group + theory), maybe ``computing with in/finite groups''. + +\item Math software systems that implement algorithms from MSC48CXX + (or that compute a particular thing). + +\item All areas of math that {Nicolas G.\ de Bruijn} has worked in and + his main contributions. + +\item All the researchers that have worked on problem~$X$ (where~$X$ + does not have a good name, maybe connected to ``Go''). + +\item Areas of mathematics that immediate descendants of~$X$ worked + on. + +\item All graphs whose order is larger than the publication record of + its ``inventor'' (name patron). + +\item Integer sequences that grow sub-exponentially. + +\item Published integer sequences not listed in the OEIS. + +\item Find all polynomials whose list of coefficients occurs as a + subsequence of a specific OEIS sequence. +\end{enumerate} diff --git a/doc/report/collecter.tex b/doc/report/collecter.tex index 6381f3f36d077fc67c282da4bece2c75738d3fbe..cdbbc49e3641aebce50e128415c5bb63756d900c 100644 --- a/doc/report/collecter.tex +++ b/doc/report/collecter.tex @@ -1,2 +1,3 @@ +\newpage \section{Collecter and Importer}\label{sec:collecter} diff --git a/doc/report/components.tex b/doc/report/components.tex index 9deca8689ae1ca15640704f57cecc2caebdd45b6..ae4036140b3d52024cec2c041e2927f53e535532 100644 --- a/doc/report/components.tex +++ b/doc/report/components.tex @@ -1,3 +1,4 @@ +\newpage \section{Components}\label{sec:components} With ULO/RDF files in place and available for download on diff --git a/doc/report/conclusion.tex b/doc/report/conclusion.tex index f01b33d8f820286f6c5c473991fbfa9783c878f2..be8411870ec7be43e661655e6d6bc775a1992b49 100644 --- a/doc/report/conclusion.tex +++ b/doc/report/conclusion.tex @@ -1 +1,2 @@ +\newpage \section{Conclusion and Future Work}\label{sec:conclusion} diff --git a/doc/report/endpoints.tex b/doc/report/endpoints.tex index 2206d2f58e10a03c26904e39bce85d1eba80cdbc..ebc6ed684539809272e1d9ac05d47d3e5ae6db27 100644 --- a/doc/report/endpoints.tex +++ b/doc/report/endpoints.tex @@ -1,3 +1,4 @@ +\newpage \section{Endpoints}\label{sec:endpoints} With ULO/RDF triplets imported into a database, in our case GraphDB,