| Publication | Date of Publication | Type |
|---|
Parametrized systems of generalized polynomial inequalities via linear algebra and convex geometry
Positivity | 2025-11-28 | Paper |
| A SageMath package for elementary and sign vectors with applications to chemical reaction networks | 2024-11-13 | Paper |
The fundamental theorem of calculus in differential rings
Advances in Mathematics | 2024-05-15 | Paper |
| How to Automatise Proofs of Operator Statements: Moore–Penrose Inverse; A Case Study | 2024-05-03 | Paper |
Sufficient Conditions for Linear Stability of Complex-Balanced Equilibria in Generalized Mass-Action Systems
SIAM Journal on Applied Dynamical Systems | 2024-02-12 | Paper |
| Parametrized systems of polynomial inequalitites with real exponents via linear algebra and convex geometry | 2023-06-24 | Paper |
| Parametrized systems of polynomial equations with real exponents: applications to fewnomials | 2023-04-11 | Paper |
Certifying operator identities via noncommutative Gröbner bases
ACM Communications in Computer Algebra | 2023-03-03 | Paper |
Computing elements of certain form in ideals to prove properties of operators
Mathematics in Computer Science | 2023-01-27 | Paper |
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
Applied Mathematics and Computation | 2021-11-11 | Paper |
Complex-balanced equilibria of generalized mass-action systems: necessary conditions for linear stability
Mathematical Biosciences and Engineering | 2021-08-13 | Paper |
Formal proofs of operator identities by a single formal computation
Journal of Pure and Applied Algebra | 2021-01-28 | Paper |
Compatible rewriting of noncommutative polynomials for proving operator identities
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law
(available as arXiv preprint) | 2020-08-11 | Paper |
On the bijectivity of families of exponential/generalized polynomial maps
SIAM Journal on Applied Algebra and Geometry | 2019-09-27 | Paper |
Characterizing injectivity of classes of maps via classes of matrices
Linear Algebra and its Applications | 2019-09-18 | Paper |
Enzyme allocation problems in kinetic metabolic networks: optimal solutions are elementary flux modes
Journal of Theoretical Biology | 2019-05-15 | Paper |
Planar S-systems: global stability and the center problem
Discrete and Continuous Dynamical Systems | 2019-01-04 | Paper |
The center problem for the Lotka reactions with generalized mass-action kinetics
Qualitative Theory of Dynamical Systems | 2018-11-07 | Paper |
Algorithmic operator algebras via normal forms in tensor rings
Journal of Symbolic Computation | 2017-10-10 | Paper |
Algorithmic operator algebras via normal forms for tensors
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
On the integration of differential fractions
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Planar linkages following a prescribed motion
Mathematics of Computation | 2016-10-18 | Paper |
Normal forms for operators via Gröbner bases in tensor algebras
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Additive normal forms and integration of differential fractions
Journal of Symbolic Computation | 2016-05-04 | Paper |
Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry
Foundations of Computational Mathematics | 2016-03-04 | Paper |
Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry
Foundations of Computational Mathematics | 2016-03-04 | Paper |
| Elementary vectors and conformal sums in polyhedral geometry and their relevance for metabolic pathway analysis | 2015-12-01 | Paper |
| Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models | 2015-06-29 | Paper |
A maple package for integro-differential operators and boundary problems
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
On the product of projectors and generalized inverses
Linear and Multilinear Algebra | 2014-11-12 | Paper |
Generalized mass-action systems and positive solutions of polynomial equations with real and symbolic exponents (invited talk)
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Composing and factoring generalized Green's operators and ordinary boundary problems
Algebraic and Algorithmic Aspects of Differential and Integral Operators | 2014-03-25 | Paper |
On integro-differential algebras.
Journal of Pure and Applied Algebra | 2014-01-14 | Paper |
Exact and asymptotic results for insurance risk models with surplus-dependent premiums
SIAM Journal on Applied Mathematics | 2013-06-06 | Paper |
Generalized mass action systems: complex balancing equilibria and sign vectors of the stoichiometric and kinetic-order subspaces
SIAM Journal on Applied Mathematics | 2013-04-09 | Paper |
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
Texts & Monographs in Symbolic Computation | 2012-09-14 | Paper |
A skew polynomial approach to integro-differential operators.
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
An algebraic operator approach to the analysis of Gerber-Shiu functions
Insurance Mathematics & Economics | 2012-02-10 | Paper |
Regular and Singular Boundary Problems in Maple
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
| Applications of filter coefficients and wavelets parametrized by moments | 2010-06-17 | Paper |
| A new symbolic method for linear boundary value problems using Groebner bases | 2010-03-10 | Paper |
A Symbolic Framework for Operations on Linear Boundary Problems
Computer Algebra in Scientific Computing | 2009-11-10 | Paper |
An algebraic foundation for factoring linear boundary problems
Annali di Matematica Pura ed Applicata. Serie Quarta | 2009-10-02 | Paper |
Integro-differential polynomials and operators
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Parametrizing compactly supported orthonormal wavelets by discrete moments
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
Solving and factoring boundary problems for linear ordinary differential equations in differential algebras
Journal of Symbolic Computation | 2008-06-11 | Paper |
Symbolic computation for moments and filter coefficients of scaling functions
Annals of Combinatorics | 2005-12-13 | Paper |
Explicit resolution of plane curve singularities in arbitrary characteristic
L'Enseignement Mathématique. 2e Série | 2005-09-28 | Paper |
Universal truth of operator statements via ideal membership
(available as arXiv preprint) | N/A | Paper |
The fundamental theorem of calculus in differential rings
(available as arXiv preprint) | N/A | Paper |
