Georg Regensburger

SIAM J. Appl. Dyn. Syst., March, 2024

2023

How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study.

[BibT_eX]

[DOI]

Klara Bernauer

Clemens Hofstadler

Proceedings of the Computer Algebra in Scientific Computing - 25th International Workshop, 2023

2022

Computing Elements of Certain Form in Ideals to Prove Properties of Operators.

[BibT_eX]

[DOI]

Clemens Hofstadler

Dragana S. Cvetkovic-Ilic

Math. Comput. Sci., 2022

2021

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law.

[BibT_eX]

[DOI]

Appl. Math. Comput., 2021

2020

Compatible rewriting of noncommutative polynomials for proving operator identities.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

On the Bijectivity of Families of Exponential/Generalized Polynomial Maps.

[BibT_eX]

[DOI]

Josef Hofbauer

SIAM J. Appl. Algebra Geom., 2019

Certifying operator identities via noncommutative Gröbner bases.

[BibT_eX]

[DOI]

Clemens Hofstadler

ACM Commun. Comput. Algebra, 2019

Flux tope analysis: studying the coordination of reaction directions in metabolic networks.

[BibT_eX]

[DOI]

Bioinform., 2019

2018

Algorithmic operator algebras via normal forms in tensor rings.

[BibT_eX]

[DOI]

Jamal Hossein Poor

J. Symb. Comput., 2018

2017

From elementary flux modes to elementary flux vectors: Metabolic pathway analysis with arbitrary linear flux constraints.

[BibT_eX]

[DOI]

Steffen Klamt

Matthias P. Gerstl

Christian Jungreuthmayer

Stefan Schuster

Radhakrishnan Mahadevan

Jürgen Zanghellini

PLoS Comput. Biol., 2017

Planar linkages following a prescribed motion.

[BibT_eX]

[DOI]

Math. Comput., 2017

2016

Additive normal forms and integration of differential fractions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2016

Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry.

[BibT_eX]

[DOI]

Found. Comput. Math., 2016

Special issue on computational aspects of differential/difference algebra and integral operators.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2016

Symbolic Computation with Integro-Differential Operators.

[BibT_eX]

[DOI]

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Algorithmic Operator Algebras via Normal Forms for Tensors.

[BibT_eX]

[DOI]

Jamal Hossein Poor

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Normal Forms for Operators via Gröbner Bases in Tensor Algebras.

[BibT_eX]

[DOI]

Jamal Hossein Poor

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models.

[BibT_eX]

[DOI]

Christoph Koutschan

Helene Ranetbauer

Marie-Therese Wolfram

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents.

[BibT_eX]

[DOI]

CoRR, 2014

Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums.

[BibT_eX]

[DOI]

Hansjörg Albrecher

Corina Constantinescu

Zbigniew Palmowski

SIAM J. Appl. Math., 2013

On the integration of differential fractions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

Generalized Mass Action Systems: Complex Balancing Equilibria and Sign Vectors of the Stoichiometric and Kinetic-Order Subspaces.

[BibT_eX]

[DOI]

SIAM J. Appl. Math., 2012

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases

[BibT_eX]

[DOI]

CoRR, 2012

ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2012

Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Algorithmic Aspects of Differential and Integral Operators, 2012

2011

Regular and Singular Boundary Problems in Maple.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Foreword.

[BibT_eX]

[DOI]

William Y. Sit

Math. Comput. Sci., 2010

A maple package for integro-differential operators and boundary problems.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2010

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Software, 2010

2009

A skew polynomial approach to integro-differential operators.

[BibT_eX]

[DOI]

Johannes Middeke

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

A Symbolic Framework for Operations on Linear Boundary Problems.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 11th International Workshop, 2009

2008

Solving and factoring boundary problems for linear ordinary differential equations in differential algebras.

[BibT_eX]

[DOI]

J. Symb. Comput., 2008

General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials.

[BibT_eX]

[DOI]

ACM Commun. Comput. Algebra, 2008

Integro-differential polynomials and operators.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007

Parametrizing compactly supported orthonormal wavelets by discrete moments.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2007

2003

Generalization over Environments in Reinforcement Learning.

[BibT_eX]

[DOI]

Andreas Matt