| Publication | Date of Publication | Type |
|---|
The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Computer Physics Communications | 2023-05-05 | Paper |
On boundary conditions parametrized by analytic functions
(available as arXiv preprint) | 2022-12-21 | Paper |
On boundary conditions parametrized by analytic functions
(available as arXiv preprint) | 2022-05-06 | Paper |
An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties
Mathematics of Computation | 2021-12-16 | Paper |
Singularities of algebraic differential equations
Advances in Applied Mathematics | 2021-09-29 | Paper |
Thomas decomposition and nonlinear control systems
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
Numerical flux functions for Reynolds-averaged Navier-Stokes and \(k\omega\) turbulence model computations with a line-preconditioned \(p\)-multigrid discontinuous Galerkin solver
International Journal for Numerical Methods in Fluids | 2020-02-18 | Paper |
| Linearly Constrained Gaussian Processes with Boundary Conditions | 2020-02-03 | Paper |
The differential dimension polynomial for characterizable differential ideals
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory | 2018-11-16 | Paper |
A constructive approach to the module of twisted global sections on relative projective spaces
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory | 2018-11-16 | Paper |
The differential counting polynomial
Foundations of Computational Mathematics | 2018-05-18 | Paper |
| Algorithmic Linearly Constrained Gaussian Processes | 2018-01-28 | Paper |
| Elimination via saturation | 2017-07-04 | Paper |
LocalizeRingForHomalg
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
Thomas decomposition and its applications
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
On the ext-computability of Serre quotient categories
Journal of Algebra | 2014-10-01 | Paper |
| Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves | 2014-09-06 | Paper |
Characterizing Serre quotients with no section functor and applications to coherent sheaves
Applied Categorical Structures | 2014-06-16 | Paper |
On monads of exact reflective localizations of abelian categories
Homology, Homotopy and Applications | 2013-11-27 | Paper |
| Thomas decompositions of parametric nonlinear control systems | 2012-12-03 | Paper |
Algorithmic Thomas decomposition of algebraic and differential systems
Journal of Symbolic Computation | 2012-07-04 | Paper |
An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
Journal of Algebra and its Applications | 2011-06-10 | Paper |
Thomas decomposition of algebraic and differential systems
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
