@misc{Meer2009, author = {Klaus Meer}, title = {Probabilistically checkable proofs over the reals}, booktitle = {Electronic notes in theoretical computer science : ENTCS}, volume = {123}, issn = {1571-0661}, institution = {FG Theoretische Informatik}, type = {articler}, pages = {165 -- 177}, year = {2009}, }