77 citations · 337 across the 28 of their papers we have counts for
4 papers · 1 filter
How to automatise proofs of operator statements: Moore-Penrose inverse -- a case study
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
We describe a recently developed algebraic framework for proving first-order statements about linear operators by computations with noncommutative polynomials. Furthermore, we pres…
Parametrized systems of generalized polynomial inequalitites via linear algebra and convex geometry
Stefan Müller, Georg Regensburger
We provide fundamental results on positive solutions to parametrized systems of generalized polynomial (with real exponents and positive parameters), includ…
Parametrized systems of generalized polynomial equations: first applications to fewnomials
Stefan Müller, Georg Regensburger
We consider positive solutions to parametrized systems of generalized polynomial equations (with real exponents and positive parameters). By a fundamental result obtained in parall…
The fundamental theorem of calculus in differential rings
Clemens G. Raab, Georg Regensburger
In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notio…