2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
Generating induction principles and subterm relations for inductive types using MetaCoq
Bohdan Liesnikov, Marcel Ullrich, Yannick Forster
We implement three Coq plugins regarding inductive types in MetaCoq. The first plugin is a simple syntax transformation generating alternative constructors for inductive types by a…
math.AP2018
Local uniqueness for an inverse boundary value problem with partial data
Bastian Harrach, Marcel Ullrich
In dimension , we prove a local uniqueness result for the potentials of the Schrödinger equation from partial boundary data. More precisely, we show that po…