3 papers
math.AP2026
Relative formalization in Isabelle/HOL of a result in inverse problems
Cătălin I. Cârstea
This reports on an experiment in autoformalization of arxiv:2606.15977, an inverse problems result for piecewise polynomial anisotropic conductivities, using Isabelle/HOL. The proo…
math.AP2026
An inverse free boundary problem
Cătălin I. Cârstea, Matti Lassas, Jinpeng Lu +2
We study inverse problems for the elliptic and parabolic obstacle problems from boundary measurements. For the classical elliptic obstacle problem with strictly superharmonic obsta…
math.AP2024
Two uniqueness results in the inverse boundary value problem for the weighted p-Laplace equation
CÄtÄlin I. Cârstea, Ali Feizmohammadi
In this paper we prove a general uniqueness result in the inverse boundary value problem for the weighted p-Laplace equation in the plane, with smooth weights. We also prove a uniq…