TY - GEN A1 - Meer, Klaus A1 - Baartse, Martijn T1 - The PCP theorem for NP over the reals T2 - Foundations of Computational Mathematics KW - Probabilistically checkable proofs Real and complex number computations PCP theorem Hilbert Nullstellensatz decision problem Y1 - 2016 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/15632 UR - http://link.springer.com/article/10.1007/s10208-014-9188-x?sa_campaign=email/event/articleAuthor/onlineFirst SN - 1615-3375 VL - 15 IS - 3 SP - 651 EP - 680 ER -