| Publication | Date of Publication | Type |
|---|
Coordinate- and spacetime-independent quantum physics
Annalen der Physik | 2026-04-02 | Paper |
The Maple package TDDS for computing Thomas decompositions of systems of nonlinear PDEs
Computer Physics Communications | 2023-05-05 | Paper |
Normal forms in differential Galois theory for the classical groups
Communications in Algebra | 2023-03-17 | Paper |
On boundary conditions parametrized by analytic functions
(available as arXiv preprint) | 2022-12-21 | Paper |
Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables
Journal of Symbolic Computation | 2022-07-18 | Paper |
On boundary conditions parametrized by analytic functions
(available as arXiv preprint) | 2022-05-06 | Paper |
Normal Forms in Differential Galois Theory for the Classical Groups
(available as arXiv preprint) | 2022-04-13 | Paper |
An involutive GVW algorithm and the computation of Pommaret bases
Mathematics in Computer Science | 2021-11-24 | Paper |
Singularities of algebraic differential equations
Advances in Applied Mathematics | 2021-09-29 | Paper |
Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation | 2020-09-10 | Paper |
Thomas decomposition and nonlinear control systems
Algebraic and Symbolic Computation Methods in Dynamical Systems | 2020-09-08 | Paper |
The icosahedra of edge length 1
Journal of Algebra | 2019-12-27 | Paper |
The icosahedra of edge length 1
Journal of Algebra | 2019-12-27 | Paper |
Formal algorithmic elimination for PDEs
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Recent progress in an algebraic analysis approach to linear systems
Multidimensional Systems and Signal Processing | 2016-11-10 | Paper |
A parallel evolutionary approach to solving systems of equations in polycyclic groups
Groups - Complexity - Cryptology | 2016-11-07 | Paper |
Lagrangian constraints and differential Thomas decomposition
Advances in Applied Mathematics | 2015-12-11 | Paper |
Consistency of finite difference approximations for linear PDE systems and its algorithmic verification
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation | 2015-09-17 | Paper |
Computation of difference Gröbner bases
Computer Science Journal of Moldova | 2015-08-06 | Paper |
Thomas decomposition and its applications
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
A constructive study of the module structure of rings of partial differential operators.
Acta Applicandae Mathematicae | 2015-02-17 | Paper |
Formal algorithmic elimination for PDEs
Lecture Notes in Mathematics | 2014-11-06 | Paper |
| Thomas decompositions of parametric nonlinear control systems | 2012-12-03 | Paper |
\textsc{OreModules}: A symbolic package for the study of multidimensional linear systems
Applications of Time Delay Systems | 2012-09-13 | Paper |
Algorithmic Thomas decomposition of algebraic and differential systems
Journal of Symbolic Computation | 2012-07-04 | Paper |
Linear differential elimination for analytic functions
Mathematics in Computer Science | 2011-06-08 | Paper |
| Controllability and differential flatness of linear analytic ordinary differential systems | 2011-05-31 | Paper |
Thomas decomposition of algebraic and differential systems
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
The average number of cycles.
Archiv der Mathematik | 2009-12-14 | Paper |
Noether normalization guided by monomial cone decompositions
Journal of Symbolic Computation | 2009-09-14 | Paper |
Elimination for Coefficients of Special Characteristic Polynomials
Experimental Mathematics | 2009-07-28 | Paper |
conley: Computing connection matrices in Maple
Journal of Symbolic Computation | 2009-04-14 | Paper |
homalg – A META-PACKAGE FOR HOMOLOGICAL ALGEBRA
Journal of Algebra and its Applications | 2008-08-26 | Paper |
Some Elimination Problems for Matrices
Computer Algebra in Scientific Computing | 2008-07-01 | Paper |
Computation of bases of free modules over the Weyl algebras.
Journal of Symbolic Computation | 2008-01-16 | Paper |
| scientific article; zbMATH DE number 5222433 (Why is no real title available?) | 2008-01-02 | Paper |
Representations, commutative algebra, and Hurwitz groups.
Journal of Algebra | 2006-07-20 | Paper |
Effective algorithms for parametrizing linear control systems over Ore algebras
Applicable Algebra in Engineering, Communication and Computing | 2006-05-31 | Paper |
Constructing Invariants for Finite Groups
Experimental Mathematics | 2005-11-29 | Paper |
Constructing Invariants for Finite Groups
Experimental Mathematics | 2005-11-29 | Paper |
Janet's approach to presentations and resolutions for polynomials and linear PDEs
Archiv der Mathematik | 2005-02-22 | Paper |
