@inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {The PCP theorem for NP over the reals}, series = {30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013}, booktitle = {30th Symposium on Theoretical Aspects of Computer Science STACS , Kiel, 2013}, address = {Leibnitz}, doi = {10.4230/LIPIcs.STACS.2013.104}, url = {http://nbn-resolving.de/urn:nbn:de:0030-drops-39262}, pages = {104 -- 115}, language = {en} } @inproceedings{MeerBaartse, author = {Meer, Klaus and Baartse, Martijn}, title = {Topics in Real and Complex Number Complexity Theory}, series = {Recent Advances in Real Complexity and Computation}, booktitle = {Recent Advances in Real Complexity and Computation}, editor = {Monta{\~n}a, Jos{\´e} Luis and Pardo, Luis Miguel}, publisher = {American Mathematical Society}, address = {Providence, RI}, isbn = {978-0-8218-9150-6}, doi = {10.1090/conm/604}, pages = {1 -- 53}, language = {en} }