default search action
Georg Regensburger
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j21]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): 325-357 (2024) - [c15]Marcus S. Aichmayr
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. ICMS 2024: 155-164 - [i10]Marcus S. Aichmayr, Stefan Müller, Georg Regensburger:
A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. CoRR abs/2407.12660 (2024) - 2023
- [c14]Klara Bernauer, Clemens Hofstadler, Georg Regensburger
How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC 2023: 39-68 - [i9]Klara Bernauer, Clemens Hofstadler, Georg Regensburger:
How to automatise proofs of operator statements: Moore-Penrose inverse - a case study. CoRR abs/2305.09448 (2023) - 2022
- [j20]Clemens Hofstadler, Clemens G. Raab
Computing Elements of Certain Form in Ideals to Prove Properties of Operators. Math. Comput. Sci. 16(2-3): 17 (2022) - 2021
- [j19]Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. Appl. Math. Comput. 409: 126357 (2021) - [i8]Clemens Hofstadler, Clemens G. Raab, Georg Regensburger:
Computing elements of certain form in ideals to prove properties of operators. CoRR abs/2110.12933 (2021) - 2020
- [c13]Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab
Compatible rewriting of noncommutative polynomials for proving operator identities. ISSAC 2020: 83-90 - [i7]Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
Compatible rewriting of noncommutative polynomials for proving operator identities. CoRR abs/2002.03626 (2020)
2010 – 2019
- 2019
- [j18]Matthias P. Gerstl, Stefan Müller
Flux tope analysis: studying the coordination of reaction directions in metabolic networks. Bioinform. 35(2): 266-273 (2019) - [j17]Clemens Hofstadler, Clemens G. Raab
Certifying operator identities via noncommutative Gröbner bases. ACM Commun. Comput. Algebra 53(2): 49-52 (2019) - [j16]Stefan Müller
On the Bijectivity of Families of Exponential/Generalized Polynomial Maps. SIAM J. Appl. Algebra Geom. 3(3): 412-438 (2019) - 2018
- [j15]Jamal Hossein Poor, Clemens G. Raab
Algorithmic operator algebras via normal forms in tensor rings. J. Symb. Comput. 85: 247-274 (2018) - 2017
- [j14]Matteo Gallet
Planar linkages following a prescribed motion. Math. Comput. 86(303): 473-506 (2017) - [j13]Steffen Klamt
From elementary flux modes to elementary flux vectors: Metabolic pathway analysis with arbitrary linear flux constraints. PLoS Comput. Biol. 13(4) (2017) - 2016
- [j12]Moulay A. Barkatou, Thomas Cluzeau, Alexey Ovchinnikov, Georg Regensburger
Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. 72: 1-3 (2016) - [j11]Stefan Müller
Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry. Found. Comput. Math. 16(1): 69-97 (2016) - [j10]François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger
Additive normal forms and integration of differential fractions. J. Symb. Comput. 77: 16-38 (2016) - [c12]Jamal Hossein Poor, Clemens G. Raab
Normal Forms for Operators via Gröbner Bases in Tensor Algebras. ICMS 2016: 505-513 - [c11]Georg Regensburger
Symbolic Computation with Integro-Differential Operators. ISSAC 2016: 17-18 - [c10]Jamal Hossein Poor, Clemens G. Raab
Algorithmic Operator Algebras via Normal Forms for Tensors. ISSAC 2016: 397-404 - 2015
- [c9]Christoph Koutschan
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. SYNASC 2015: 27-33 - [i6]Matteo Gallet, Christoph Koutschan
Planar Linkages Following a Prescribed Motion. CoRR abs/1502.05623 (2015) - [i5]Christoph Koutschan
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. CoRR abs/1506.08527 (2015) - 2014
- [c8]Stefan Müller
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). CASC 2014: 302-323 - [e2]Moulay A. Barkatou, Thomas Cluzeau, Georg Regensburger
Algebraic and Algorithmic Aspects of Differential and Integral Operators - 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers. Lecture Notes in Computer Science 8372, Springer 2014, ISBN 978-3-642-54478-1 [contents] - [i4]Stefan Müller
Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. CoRR abs/1406.6587 (2014) - 2013
- [j9]Hansjörg Albrecher
Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums. SIAM J. Appl. Math. 73(1): 47-66 (2013) - [c7]François Boulier, François Lemaire, Georg Regensburger
On the integration of differential fractions. ISSAC 2013: 101-108 - [i3]Anja Korporal, Georg Regensburger:
Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. CoRR abs/1310.8455 (2013) - 2012
- [j8]Anja Korporal, Georg Regensburger
ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple. ACM Commun. Comput. Algebra 46(3/4): 154-156 (2012) - [j7]Stefan Müller
Generalized Mass Action Systems: Complex Balancing Equilibria and Sign Vectors of the Stoichiometric and Kinetic-Order Subspaces. SIAM J. Appl. Math. 72(6): 1926-1947 (2012) - [c6]Anja Korporal, Georg Regensburger
Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. AADIOS 2012: 116-134 - [i2]Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger:
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. CoRR abs/1210.2950 (2012) - [i1]Anja Korporal, Georg Regensburger, Markus Rosenkranz:
Regular and Singular Boundary Problems in Maple. CoRR abs/1210.2951 (2012) - 2011
- [c5]Anja Korporal, Georg Regensburger
Regular and Singular Boundary Problems in Maple. CASC 2011: 280-293 - 2010
- [j6]Anja Korporal, Georg Regensburger
A maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra 44(3/4): 120-122 (2010) - [j5]Georg Regensburger
Foreword. Math. Comput. Sci. 4(2-3): 139-141 (2010) - [c4]Loredana Tec, Georg Regensburger
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS 2010: 245-248
2000 – 2009
- 2009
- [c3]Markus Rosenkranz, Georg Regensburger
A Symbolic Framework for Operations on Linear Boundary Problems. CASC 2009: 269-283 - [c2]Georg Regensburger
A skew polynomial approach to integro-differential operators. ISSAC 2009: 287-294 - 2008
- [j4]Bruno Buchberger, Georg Regensburger
General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra 42(3): 135-137 (2008) - [j3]Markus Rosenkranz, Georg Regensburger
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43(8): 515-544 (2008) - [c1]Markus Rosenkranz, Georg Regensburger
Integro-differential polynomials and operators. ISSAC 2008: 261-268 - [e1]Katsuhisa Horimoto, Georg Regensburger
Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings. Lecture Notes in Computer Science 5147, Springer 2008, ISBN 978-3-540-85100-4 [contents] - 2007
- [j2]Georg Regensburger
Parametrizing compactly supported orthonormal wavelets by discrete moments. Appl. Algebra Eng. Commun. Comput. 18(6): 583-601 (2007) - 2003
- [j1]Andreas Matt, Georg Regensburger:
Generalization over Environments in Reinforcement Learning. Inteligencia Artif. 7(21): 47-53 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: