From 2247c24b960f1346303ce54102bf6d2bd3e32563 Mon Sep 17 00:00:00 2001
From: Dom Horsman <dom.horsman@gmail.com>
Date: Fri, 15 Feb 2019 17:31:16 +0100
Subject: [PATCH] tidying up Belen stuff
---
NEWPROPOSAL/FULLPROP.tex | 12 ------------
1 file changed, 12 deletions(-)
diff --git a/NEWPROPOSAL/FULLPROP.tex b/NEWPROPOSAL/FULLPROP.tex
index 434a5b7..d3ed0a6 100644
--- a/NEWPROPOSAL/FULLPROP.tex
+++ b/NEWPROPOSAL/FULLPROP.tex
@@ -712,18 +712,6 @@ First, we will identify re-writing processes among the automated theorem proving
This will allow us to identify candidate subroutines that require nonclassical resources to be carried out.
Such subroutines then will be used to develop procedures for characterising if a \zx-represented algorithm demonstrates speed-up.
-\KILL{\begin{color}{red!70!black}
-\texttt{[Delete the following once it has been properly incorporated into the WP description in \S3.2]}
-
-Deliverables:
-\begin{itemize}
- \item M12: Preliminary assessment of the comparative study of the axiomatizations of paradigms of quantum computation.
- \item M15: \zx representation and explanation of the result that promotes magic states as a resource of quantum computation in the state injection paradigm.
- \item M18: Preliminary assessment of nonclassicality of re-writing processes.
- \item M24: A \zx formulation of contextuality (Kochen--Specker and/or generalised Spekken's type).
-\end{itemize}
-\end{color}}
-
\subsubsection{Machine-independent optimisation}
\label{sec:repr-reas-azx}
--
GitLab