certik/oscas-sympy — pull request #10 by asmeurer (2011-11-05 07:18:11+00:00)
Title: Fixes2

Some small fixes to the paper.