9 citations · 15 across the 13 of their papers we have counts for
1 paper · 1 filter
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
We introduce a framework for proving statements about linear operators by verification of ideal membership in a free algebra. More specifically, arbitrary first-order statements ab…