77 citations · 337 across the 28 of their papers we have counts for
3 papers · 1 filter
Formal proofs of operator identities by a single formal computation
Clemens G. Raab, Georg Regensburger, Jamal Hossein Poor
A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators…
Complex-balanced equilibria of generalized mass-action systems: Necessary conditions for linear stability
Balazs Boros, Stefan Müller, Georg Regensburger
It is well known that, for mass-action systems, complex-balanced equilibria are asymptotically stable. For generalized mass-action systems, even if there exists a unique complex-ba…
Characterizing injectivity of classes of maps via classes of matrices
Elisenda Feliu, Stefan Müller, Georg Regensburger
We present a framework for characterizing injectivity of classes of maps (on cosets of a linear subspace) by injectivity of classes of matrices. Using our formalism, we characteriz…