Martijn Baartse, Klaus Meer. An Algebraic Proof of the Real Number PCP Theorem. In Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II. Volume 9235 of Lecture Notes in Computer Science, pages 50-61, Springer, 2015. [doi]
Abstract is missing.