| Publication | Date of Publication | Type |
|---|
Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
Journal of Algebra | 2026-02-02 | Paper |
A single exponential time algorithm for homogeneous regular sequence tests
Journal of Algebra and its Applications | 2024-09-11 | Paper |
On the numerical integration of singular initial and boundary value problems for generalised Lane-Emden and Thomas-Fermi equations
Applied Mathematics and Computation | 2024-04-16 | Paper |
Recursive structures in involutive bases theory
Journal of Symbolic Computation | 2023-04-27 | Paper |
Jacques Calmet dies at 77
ACM Communications in Computer Algebra | 2023-01-10 | Paper |
| Algebraic and geometric analysis of singularities of implicit differential equations (invited talk) | 2022-12-21 | Paper |
30 years with Vladimir Gerdt (1947--2021)
Mathematics in Computer Science | 2022-12-14 | Paper |
Complementary decompositions of monomial ideals and involutive bases
Applicable Algebra in Engineering, Communication and Computing | 2022-11-21 | Paper |
Vladimir Gerdt dies at 73
ACM Communications in Computer Algebra | 2022-09-06 | Paper |
Computation of Macaulay constants and degree bounds for Gröbner bases
Journal of Symbolic Computation | 2022-01-17 | Paper |
An involutive GVW algorithm and the computation of Pommaret bases
Mathematics in Computer Science | 2021-11-24 | Paper |
Relative Gröbner and involutive bases for ideals in quotient rings
Mathematics in Computer Science | 2021-11-24 | Paper |
Singularities of algebraic differential equations
Advances in Applied Mathematics | 2021-09-29 | Paper |
Memories on Vladimir Gerdt
Journal of Symbolic Computation | 2021-09-29 | Paper |
A logic based approach to finding real singularities of implicit ordinary differential equations
Mathematics in Computer Science | 2021-06-25 | Paper |
Degree upper bounds for involutive bases
Mathematics in Computer Science | 2021-06-25 | Paper |
No Chaos in Dixon’s System
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2021-04-08 | Paper |
Singular initial value problems for scalar quasi-linear ordinary differential equations
Journal of Differential Equations | 2021-03-11 | Paper |
Computing the resolution regularity of bi-homogeneous ideals
Journal of Symbolic Computation | 2020-11-13 | Paper |
Dimension-dependent upper bounds for Gröbner bases
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
On the numerical analysis and visualisation of implicit ordinary differential equations
Mathematics in Computer Science | 2020-07-28 | Paper |
Computing quot schemes via marked bases over quasi-stable modules
Journal of Algebra | 2020-02-13 | Paper |
Dimension and depth dependent upper bounds in polynomial ideal theory
Journal of Symbolic Computation | 2020-01-15 | Paper |
Nœther bases and their applications
Bulletin of the Iranian Mathematical Society | 2019-10-22 | Paper |
Resolving decompositions for polynomial modules
Mathematics | 2018-12-18 | Paper |
Computation of Pommaret bases using syzygies
(available as arXiv preprint) | 2018-10-23 | Paper |
A Pommaret bases approach to the degree of a polynomial ideal
Applicable Algebra in Engineering, Communication and Computing | 2018-08-10 | Paper |
Deterministic genericity for polynomial ideals
Journal of Symbolic Computation | 2017-11-22 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Satisfiability checking and symbolic computation
ACM Communications in Computer Algebra | 2017-06-21 | Paper |
Overdetermined elliptic systems
PAMM | 2017-01-25 | Paper |
Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
Journal of Computational Physics | 2016-12-05 | Paper |
Improved computation of involutive bases
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
Resolving decompositions for polynomial modules
Computer Algebra in Scientific Computing | 2016-11-09 | Paper |
\textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
Lecture Notes in Computer Science | 2016-08-30 | Paper |
Janet bases and resolutions in \textsc{CoCoALib}
Computer Algebra in Scientific Computing | 2015-11-25 | Paper |
Algebraic theory of linear systems: a survey
Surveys in Differential-Algebraic Equations II | 2015-10-23 | Paper |
Singularities in the geometric theory of differential equations
Discrete and Continuous Dynamical Systems | 2015-03-02 | Paper |
On the free resolution induced by a Pommaret basis
Journal of Symbolic Computation | 2014-12-09 | Paper |
Deterministically Computing Reduction Numbers of Polynomial Ideals
Computer Algebra in Scientific Computing | 2014-09-08 | Paper |
Efficient methods to compute Hopf bifurcations in chemical reaction networks using reaction coordinates
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Singularities of implicit differential equations and static bifurcations
Computer Algebra in Scientific Computing | 2014-07-07 | Paper |
Effective genericity, \(\delta\)-regularity and strong Noether position
Communications in Algebra | 2013-01-18 | Paper |
Quasi-stability versus genericity
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
Computing Hopf bifurcations in chemical reaction networks using reaction coordinates
Computer Algebra in Scientific Computing | 2012-09-21 | Paper |
On Muldowney's criteria for polynomial vector fields with constraints
Computer Algebra in Scientific Computing | 2011-09-02 | Paper |
Structure analysis of polynomial modules with Pommaret bases
PAMM | 2010-12-15 | Paper |
Under- and overdetermined systems of differential equations
Mathematische Semesterberichte | 2010-10-29 | Paper |
Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
Computer Algebra in Scientific Computing | 2010-09-10 | Paper |
On the inverse syzygy problem.
Communications in Algebra | 2010-08-11 | Paper |
Existence and construction of Vessiot connections
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2010-05-17 | Paper |
Existence and construction of Vessiot connections
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2010-05-17 | Paper |
Existence and construction of Vessiot connections
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications | 2010-05-17 | Paper |
A combinatorial approach to involution and \(\delta \)-regularity. II: Structure analysis of polynomial modules with Pommaret bases
Applicable Algebra in Engineering, Communication and Computing | 2009-11-20 | Paper |
A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
Applicable Algebra in Engineering, Communication and Computing | 2009-11-20 | Paper |
| scientific article; zbMATH DE number 5635454 (Why is no real title available?) | 2009-11-18 | Paper |
| Vessiot connections of partial differential equations | 2009-11-18 | Paper |
Involution. The formal theory of differential equations and its applications in computer algebra
Algorithms and Computation in Mathematics | 2009-05-26 | Paper |
| Perturbation versus Differentiation Indices | 2008-07-03 | Paper |
| Spencer cohomology, differential equations, and Pommaret bases | 2008-01-02 | Paper |
Stable Underlying Equations for Constrained Hamiltonian Systems
GAMM-Mitteilungen | 2007-03-30 | Paper |
Overdetermined elliptic systems
Foundations of Computational Mathematics | 2006-10-24 | Paper |
| scientific article; zbMATH DE number 2125602 (Why is no real title available?) | 2005-01-07 | Paper |
Involution analysis of the partial differential equations characterizing Hamiltonian vector fields
Journal of Mathematical Physics | 2004-12-14 | Paper |
| scientific article; zbMATH DE number 1684376 (Why is no real title available?) | 2004-02-18 | Paper |
| scientific article; zbMATH DE number 1684355 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1979256 (Why is no real title available?) | 2003-09-11 | Paper |
Computer algebra and field theories
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
Numerical analysis of constrained Hamiltonian systems and the formal theory of differential equations
Mathematics and Computers in Simulation | 2003-08-21 | Paper |
An efficient algebraic algorithm for the geometric completion to involution
Applicable Algebra in Engineering, Communication and Computing | 2003-05-04 | Paper |
Taylor and Lyubeznik resolutions via Gröbner bases.
Journal of Symbolic Computation | 2003-04-02 | Paper |
Involutive bases in the Weyl algebra.
Journal of Symbolic Computation | 2003-03-23 | Paper |
A differential equations approach to Hamiltonian systems
Reports on Mathematical Physics | 2003-01-22 | Paper |
Completion to involution and semidiscretisations
Applied Numerical Mathematics | 2002-08-22 | Paper |
| scientific article; zbMATH DE number 1925949 (Why is no real title available?) | 2002-01-01 | Paper |
Index concepts for general systems of partial differential equations
ZAMM. Zeitschrift für Angewandte Mathematik und Mechanik | 2001-10-10 | Paper |
| scientific article; zbMATH DE number 1263618 (Why is no real title available?) | 1999-07-20 | Paper |
Numerical integration of constrained Hamiltonian systems using Dirac brackets
Mathematics of Computation | 1999-03-22 | Paper |
Position versus momentum projections for constrained Hamiltonian systems
Numerical Algorithms | 1999-03-22 | Paper |
Involution and symmetry reductions
Mathematical and Computer Modelling | 1999-01-26 | Paper |
Involution and constrained dynamics. II. The Faddeev-Jackiw approach
Journal of Physics A: Mathematical and General | 1999-01-19 | Paper |
SUPERCALC - a REDUCE package for commutator calculations
Computer Physics Communications | 1997-11-10 | Paper |
Pseudo differential operators and integrable systems in AXIOM
Computer Physics Communications | 1997-09-09 | Paper |
Involution and constrained dynamics. I. The Dirac approach
Journal of Physics A: Mathematical and General | 1997-04-10 | Paper |
Arbitrariness of the general solution and symmetries
Acta Applicandae Mathematicae | 1996-08-29 | Paper |
Formal analysis of the Cauchy problem for a system associated with the \((2+1)\)-dimensional Krichever-Novikov equation
Acta Applicandae Mathematicae | 1996-05-01 | Paper |
On the arbitrariness of the general solution of an involutive partial differential equation
Journal of Mathematical Physics | 1994-06-15 | Paper |
| scientific article; zbMATH DE number 524290 (Why is no real title available?) | 1994-03-24 | Paper |
Open Covers and Lex Points of Hilbert schemes over quotient rings via relative marked bases
(available as arXiv preprint) | N/A | Paper |
On the minimal free resolution of the Rees algebra of tri-generated bivariate monomial ideals
(available as arXiv preprint) | N/A | Paper |
