This file was last updated on July 28, 2014.
The markup is available from GitHub.
git clone [email protected]:jfinkels/witnessfinding
A somewhat recent version of the compiled document should be available at https://cs-people.bu.edu/jeffreyf/static/pdf/witnessfinding.pdf, but I can't guarantee that that will always be up to date, since I compile and upload it manually.
Compilation requires pdflatex
, biber
, and the following LaTeX packages:
amsmath
amsthm
babel
biblatex
complexity
csquotes
hyperref
thmtools
To install these packages on Ubuntu 11.04 through 14.04:
sudo apt-get install texlive texlive-latex-extra texlive-science biber
To compile the document, run
pdflatex witnessfinding
biber witnessfinding
pdflatex witnessfinding
The output is witnessfinding.pdf
, and can be viewed with any PDF reader.
Copyright 2014 Jeffrey Finkelstein.
Both the LaTeX markup and the content of this article are made available under the terms of the Creative Commons Attribution-ShareAlike 4.0 International License, https://creativecommons.org/licenses/by-sa/4.0/.
Jeffrey Finkelstein [email protected]