Ten-lobed domain breaks Pompeiu and Schiffer conjectures
Certified interval arithmetic proves a noncircular real-analytic domain with a boundary-constant Neumann eigenfunction.
· “A computer-assisted counterexample to the planar Pompeiu and Schiffer conjectures”