An algebraic proof of the real number PCP theorem (Q2396715): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Computational Complexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof verification and the hardness of approximation problems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probabilistic checking of proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4258216 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topics in real and complex number complexity theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing Low Degree Trigonometric Polynomials / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algebraic Proof of the Real Number PCP Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The PCP theorem for NP over the reals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: The PCP theorem by gap amplification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some optimal inapproximability results / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transparent long proofs: A first PCP theorem for \(\text{NP}_{\mathbb R}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Almost Transparent Short Proofs for NPℝ / rank
 
Normal rank

Latest revision as of 20:49, 13 July 2024

scientific article
Language Label Description Also known as
English
An algebraic proof of the real number PCP theorem
scientific article

    Statements

    An algebraic proof of the real number PCP theorem (English)
    0 references
    0 references
    0 references
    24 May 2017
    0 references
    probabilistically checkable proofs
    0 references
    real number model of computation
    0 references
    PCP theorem for NP over the reals
    0 references
    algebraic proofs
    0 references
    testing trigonometric polynomials
    0 references

    Identifiers