本講演では楕円型偏微分方程式の解符号検証を行う既存手法をサーベイすると同時に、近年新しく得られた知見や未解決課題の紹介を行います。