7 citations · 16 across the 5 of their papers we have counts for
1 paper · 2 filters
Andreas Klingler, Mirte van der Eyden, Sebastian Stengele +2
Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results…