diff --git a/paper/intro.tex b/paper/intro.tex index 9433367b6..6674826b9 100644 --- a/paper/intro.tex +++ b/paper/intro.tex @@ -214,3 +214,5 @@ \subsection{Further directions} \item In \Cref{spectrum-sec} we report on the determination of laws with full spectrum, i.e., with magmas satisfying them of all finite sizes. \item In \Cref{higman-neumann} we report on classifying the laws of order $8$ that are equivalent to the Higman-Neumann law $\Eq{42323216}$. \end{itemize} + +We refer the reader to the ETP blueprint for a more in depth discussion of several of the topics covered in this report, including a detailed treatment of particularly difficult equations and complex magma constructions, further treatment of term rewriting theory and equational law invariants, a list of ``hard'' implications that required particular effort to resolve in our project, and some implementation details of how tools such as automated theorem provers were utilized.