Georg Regensburger

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 22

Top Topics

Polynomial Equations

Differential Operators

Top Venues

Publications

Stefan Müller, Georg Regensburger
Sufficient Conditions for Linear Stability of Complex-Balanced Equilibria in Generalized Mass-Action Systems. SIAM J. Appl. Dyn. Syst. 23 (1) (2024)
Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. ICMS (2024)
Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. CoRR (2024)
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC (2023)
Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to automatise proofs of operator statements: Moore-Penrose inverse - a case study. CoRR (2023)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Computing Elements of Certain Form in Ideals to Prove Properties of Operators. Math. Comput. Sci. 16 (2) (2022)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Computing elements of certain form in ideals to prove properties of operators. CoRR (2021)
Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. Appl. Math. Comput. 409 (2021)
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Compatible rewriting of noncommutative polynomials for proving operator identities. CoRR (2020)
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Compatible rewriting of noncommutative polynomials for proving operator identities. ISSAC (2020)
Matthias P. Gerstl, Stefan Müller, Georg Regensburger, Jürgen Zanghellini
Flux tope analysis: studying the coordination of reaction directions in metabolic networks. Bioinform. 35 (2) (2019)
Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Certifying operator identities via noncommutative Gröbner bases. ACM Commun. Comput. Algebra 53 (2) (2019)
Stefan Müller, Josef Hofbauer, Georg Regensburger
On the Bijectivity of Families of Exponential/Generalized Polynomial Maps. SIAM J. Appl. Algebra Geom. 3 (3) (2019)
Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
Algorithmic operator algebras via normal forms in tensor rings. J. Symb. Comput. 85 (2018)
Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar
Planar linkages following a prescribed motion. Math. Comput. 86 (303) (2017)
Steffen Klamt, Georg Regensburger, Matthias P. Gerstl, Christian Jungreuthmayer, Stefan Schuster, Radhakrishnan Mahadevan, Jürgen Zanghellini, Stefan Müller
From elementary flux modes to elementary flux vectors: Metabolic pathway analysis with arbitrary linear flux constraints. PLoS Comput. Biol. 13 (4) (2017)
Stefan Müller, Elisenda Feliu, Georg Regensburger, Carsten Conradi, Anne Shiu, Alicia Dickenstein
Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry. Found. Comput. Math. 16 (1) (2016)
Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
Normal Forms for Operators via Gröbner Bases in Tensor Algebras. ICMS (2016)
François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77 (2016)
Georg Regensburger
Symbolic Computation with Integro-Differential Operators. ISSAC (2016)
Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
Algorithmic Operator Algebras via Normal Forms for Tensors. ISSAC (2016)
Moulay A. Barkatou, Thomas Cluzeau, Alexey Ovchinnikov, Georg Regensburger, Markus Rosenkranz
Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. 72 (2016)
Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. SYNASC (2015)
Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar
Planar Linkages Following a Prescribed Motion. CoRR (2015)
Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. CoRR (2015)
Stefan Müller, Georg Regensburger
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. CoRR (2014)
Stefan Müller, Georg Regensburger
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). CASC (2014)
Anja Korporal, Georg Regensburger
Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. CoRR (2013)
Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz
Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums. SIAM J. Appl. Math. 73 (1) (2013)
François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz
On the integration of differential fractions. ISSAC (2013)
Anja Korporal, Georg Regensburger, Markus Rosenkranz
Regular and Singular Boundary Problems in Maple CoRR (2012)
Anja Korporal, Georg Regensburger
Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. AADIOS (2012)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases CoRR (2012)
Anja Korporal, Georg Regensburger, Markus Rosenkranz
ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Stefan Müller, Georg Regensburger
Generalized Mass Action Systems: Complex Balancing Equilibria and Sign Vectors of the Stoichiometric and Kinetic-Order Subspaces. SIAM J. Appl. Math. 72 (6) (2012)
Anja Korporal, Georg Regensburger, Markus Rosenkranz
Regular and Singular Boundary Problems in Maple. CASC (2011)
Georg Regensburger, Markus Rosenkranz, William Y. Sit
Foreword. Math. Comput. Sci. 4 (2-3) (2010)
Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS (2010)
Anja Korporal, Georg Regensburger, Markus Rosenkranz
A maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra 44 (3/4) (2010)
Georg Regensburger, Markus Rosenkranz, Johannes Middeke
A skew polynomial approach to integro-differential operators. ISSAC (2009)
Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
A Symbolic Framework for Operations on Linear Boundary Problems. CASC (2009)
Markus Rosenkranz, Georg Regensburger
Integro-differential polynomials and operators. ISSAC (2008)
Markus Rosenkranz, Georg Regensburger
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43 (8) (2008)
Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra 42 (3) (2008)
Georg Regensburger
Parametrizing compactly supported orthonormal wavelets by discrete moments. Appl. Algebra Eng. Commun. Comput. 18 (6) (2007)
Andreas Matt, Georg Regensburger
Generalization over Environments in Reinforcement Learning. Inteligencia Artif. 7 (21) (2003)