Skip to content
Snippets Groups Projects
Commit 02e4f5ef authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

draining

parent eb392b7d
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment