58 citations · 126 across the 16 of their papers we have counts for
4 papers · 2 filters
Uniqueness for the inverse Schrödinger problem in the plane with potentials,
Cătălin I. Cârstea, Jenn-Nan Wang
Let be a bounded smooth domain. We prove that the weak Dirichlet-to-Neumann map for uniquely determines every complex-valued potential , $…
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…
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…
The Calderón problem for piecewise polynomial anisotropic conductivities on partitions with many flat faces
Cătălin I. Cârstea
We prove uniqueness for a finite-dimensional anisotropic Calderón problem in dimensions . The unknown conductivity is a symmetric uniformly elliptic matrix field whose res…