Martijn Baartse

Available identifiers

zbMath Open baartse.martijnMaRDI QIDQ1946507

List of research outcomes

Publication	Date of Publication	Type
Interactive proofs and a Shamir-like result for real number computations	2019-08-30	Paper
Real interactive proofs for VPSPACE	2018-03-21	Paper
An algebraic proof of the real number PCP theorem	2017-05-24	Paper
The PCP theorem for NP over the reals	2017-01-30	Paper
https://portal.mardi4nfdi.de/entity/Q3464616	2016-01-27	Paper
Some results on interactive proofs for real computations	2015-10-20	Paper
An Algebraic Proof of the Real Number PCP Theorem	2015-09-16	Paper
Topics in real and complex number complexity theory	2015-08-04	Paper
The PCP theorem for NP over the reals	2015-07-22	Paper
Testing Low Degree Trigonometric Polynomials	2014-06-24	Paper
On the gap between trivial and nontrivial initial segment prefix-free complexity	2013-04-15	Paper

Research outcomes over time

This page was built for person: Martijn Baartse