An algebraic proof of the real number PCP theorem
Keywords: اثبات قابل اطمینان قابل بررسی است; Probabilistically checkable proofs; Real number model of computation; PCP theorem for NP over the reals; Algebraic proofs; Testing trigonometric polynomials;