Marcel Ullrich

most citedGenerating induction principles and subterm relations for inductive types using MetaCoq

2 citations · 2 across the 1 of their papers we have counts for

collaborators

Showing math.APShow all

1 paper · 1 filter

math.AP2018

Local uniqueness for an inverse boundary value problem with partial data

Bastian Harrach, Marcel Ullrich

In dimension $n \geq 3$ , we prove a local uniqueness result for the potentials $q$ of the Schrödinger equation $- Δ u + q u = 0$ from partial boundary data. More precisely, we show that po…