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

2016

Real Interactive Proofs for VPSPACE.

Martijn Baartse, Klaus Meer

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

2015

An Algebraic Proof of the Real Number PCP Theorem.

Martijn Baartse, Klaus Meer

Proceedings of the Mathematical Foundations of Computer Science 2015, 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

The PCP theorem for NP over the reals.

Martijn Baartse, Klaus Meer

Proceedings of the 30th International Symposium on Theoretical Aspects of Computer Science, 2013