77 citations · 337 across the 28 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022
Universal truth of operator statements via ideal membership
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…
math.DS2022
Sufficient conditions for linear stability of complex-balanced equilibria in generalized mass-action systems
Stefan Müller, Georg Regensburger
Generalized mass-action systems are power-law dynamical systems arising from chemical reaction networks. Essentially, every nonnegative ODE model used in chemistry and biology (for…