PolyPoly in Aarhus, Post Mortem
July-31-15
8:58 AM
I failed to emphasize that $\Gamma$-calculus leads to a polynomial time algorithm.
Print[VerifyR3[ #]] &
Also include refs to the Lawrence representations and to Ito's paper(s).