slides: add reference to OEIS

doc/report/references.bib

@@ -321,3 +321,9 @@
   year={2000},
   publisher={University of California, Irvine Irvine}
 }
+
+@misc{oeis,
+  title={The on-line encyclopedia of integer sequences},
+  author={Sloane, Neil JA and others},
+  year={2003}
+}

doc/slides/slides.tex

@@ -117,15 +117,6 @@
   \end{itemize}
 \end{frame}
 
-\subsection{Choice of Database}
-
-\begin{frame}{Implementation: Choice of Database}
-  \begin{itemize}
-    \item choice of db: triplet store for triplets is the only reasonable choice
-    \item fun fact: GraphDB is more picky than other DBs
-  \end{itemize}
-\end{frame}
-
 \subsection{Versioning}
 
 \begin{frame}{Implementation: Versioning}
@@ -209,6 +200,8 @@
       subsets of~{ULO}. On the other hand, representing algorithms and
       algorithmic problems might require us to extend~{ULO}? Maybe instead
       of tetrapodal search we need $n$-podal search.
+    \item Maybe it would be interesting to collect a database of
+      algorithms and proofs (OEIS~\cite{oeis} for algorithms).
   \end{itemize}
 \end{frame}