Sergei Ivanov;Michel de Rougemont
-;-
Probabilistically Checkable Proofs Over the Reals
Electronic Notes in Theoretical Computer Science (ENTCS)