77 citations · 337 across the 28 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…