diff --git a/conclusion.tex b/conclusion.tex index 543830fadb73468a0e3dc5edcf664d3b3e5504d8..0c1987fa3a12c8b745b09b008da62ab3d987d545 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -9,6 +9,11 @@ the VRE more natural to mathematicians who have little experience with symbolic computation tools, as they naturally have experiences with paper articles and textbooks from their studies. +The survey and outlook provided by this report will be used as a basis for the discussion +of an integrated user interface and in the \pn project (WP4). As integration of knowledge +and computation (and interoperability between the various system involved) is a central +theme of WP6, this will require interaction between the work packages. + \subsection*{Acknowledgements} The authors are grateful to Min RK from Simula for discussions on the inner workings of Jupyter and help with initial experiments with setting up a a MMT kernel for Jupyter. Florian Rabe, Dan Alistarh, and Tom Wiesing have diff --git a/report.toc b/report.toc index db3ddafaa54a6814770d17e7def14cb6af2b27e9..b33da79626915aff622eb6e27134f5110e9ba784 100644 --- a/report.toc +++ b/report.toc @@ -2,7 +2,7 @@ \defcounter {refsection}{0}\relax \contentsline {section}{\tocsection {}{1}{Introduction}}{3}{section.1} \defcounter {refsection}{0}\relax -\contentsline {section}{\tocsection {}{2}{Jupyther}}{4}{section.2} +\contentsline {section}{\tocsection {}{2}{Jupyter}}{4}{section.2} \defcounter {refsection}{0}\relax \contentsline {subsection}{\tocsubsection {}{2.1}{Introduction}}{4}{subsection.2.1} \defcounter {refsection}{0}\relax @@ -26,7 +26,7 @@ \defcounter {refsection}{0}\relax \contentsline {subsubsection}{\tocsubsubsection {}{2.3.5}{File Editor }}{7}{subsubsection.2.3.5} \defcounter {refsection}{0}\relax -\contentsline {subsection}{\tocsubsection {}{2.4}{Future Plans for Jupyther}}{7}{subsection.2.4} +\contentsline {subsection}{\tocsubsection {}{2.4}{Future Plans for Jupyter}}{7}{subsection.2.4} \defcounter {refsection}{0}\relax \contentsline {subsubsection}{\tocsubsubsection {}{2.4.1}{Embracing web standards}}{8}{subsubsection.2.4.1} \defcounter {refsection}{0}\relax