Pages that link to "Item:Q2505647"
From MaRDI portal
The following pages link to Transparent long proofs: A first PCP theorem for \(\text{NP}_{\mathbb R}\) (Q2505647):
Displaying 9 items.
- The PCP theorem for NP over the reals (Q2355329) (← links)
- An algebraic proof of the real number PCP theorem (Q2396715) (← links)
- Some relations between approximation problems and PCPs over the real numbers (Q2642900) (← links)
- An Algebraic Proof of the Real Number PCP Theorem (Q2946376) (← links)
- The PCP theorem for NP over the reals (Q2957875) (← links)
- Almost Transparent Short Proofs for NPℝ (Q3088268) (← links)
- Kolmogorov Complexity Theory over the Reals (Q4918012) (← links)
- Automata, Languages and Programming (Q5466529) (← links)
- New Computational Paradigms (Q5717057) (← links)