Martijn Baartse

According to our database, Martijn Baartse authored at least 7 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Interactive proofs and a Shamir-like result for real number computations.

Martijn Baartse, Klaus Meer

Comput. Complex., 2019

2017

An algebraic proof of the real number PCP theorem.

Martijn Baartse, Klaus Meer

J. Complex., 2017

2016

Real Interactive Proofs for VPSPACE.

Martijn Baartse, Klaus Meer

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

The PCP Theorem for NP Over the Reals.

Martijn Baartse, Klaus Meer

Found. Comput. Math., 2015

Some Results on Interactive Proofs for Real Computations.

Martijn Baartse, Klaus Meer

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2014

Testing Low Degree Trigonometric Polynomials.

Martijn Baartse, Klaus Meer

Proceedings of the Computer Science - Theory and Applications, 2014

2013

On the Gap Between Trivial and Nontrivial Initial Segment Prefix-Free Complexity.

Martijn Baartse, George Barmpalias

Theory Comput. Syst., 2013