Daniel Robertz

J. Rafael Sendra

J. Symb. Comput., 2023

2022

Foreword.

[BibT_eX]

[DOI]

Werner M. Seiler

Math. Comput. Sci., 2022

On Boundary Conditions Parametrized by Analytic Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing - 24th International Workshop, 2022

2021

An Involutive GVW Algorithm and the Computation of Pommaret Bases.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

Singularities of algebraic differential equations.

[BibT_eX]

[DOI]

Werner M. Seiler

Matthias Seiß

Adv. Appl. Math., 2021

2020

Strong Consistency and Thomas Decomposition of Finite Difference Approximations to Systems of Partial Differential Equations.

[BibT_eX]

[DOI]

Yuri A. Blinkov

CoRR, 2020

2019

Foreword.

[BibT_eX]

[DOI]

Michel Beaudin

Thierry N. Dana-Picard

Math. Comput. Sci., 2019

The MAPLE package TDDS for computing Thomas decompositions of systems of nonlinear PDEs.

[BibT_eX]

[DOI]

Comput. Phys. Commun., 2019

Algorithmic Approach to Strong Consistency Analysis of Finite Difference Approximations to PDE Systems.

[BibT_eX]

[DOI]

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

2016

A parallel evolutionary approach to solving systems of equations in polycyclic groups.

[BibT_eX]

[DOI]

Matthew J. Craven

Groups Complex. Cryptol., 2016

Lagrangian constraints and differential Thomas decomposition.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2016

Formal Algorithmic Elimination for PDEs.

[BibT_eX]

[DOI]

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

2015

Recent progress in an algebraic analysis approach to linear systems.

[BibT_eX]

[DOI]

Multidimens. Syst. Signal Process., 2015

2012

Algorithmic Thomas decomposition of algebraic and differential systems.

[BibT_eX]

[DOI]

Thomas Bächler

J. Symb. Comput., 2012

Computation of Difference Gröbner Bases.

[BibT_eX]

[DOI]

Comput. Sci. J. Moldova, 2012

Computation of Difference Groebner Bases

[BibT_eX]

[DOI]

CoRR, 2012

2010

Linear Differential Elimination for Analytic Functions.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2010

Thomas decomposition and its applications.

[BibT_eX]

[DOI]

Thomas Bächler

ACM Commun. Comput. Algebra, 2010

Consistency of finite difference approximations for linear PDE systems and its algorithmic verification.

[BibT_eX]

[DOI]

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

Thomas Decomposition of Algebraic and Differential Systems.

[BibT_eX]

[DOI]

Thomas Bächler

Proceedings of the Computer Algebra in Scientific Computing - 12th International Workshop, 2010

2009

Noether normalization guided by monomial cone decompositions.

[BibT_eX]

[DOI]

J. Symb. Comput., 2009

conley: Computing connection matrices in Maple.

[BibT_eX]

[DOI]

Mohamed Barakat

J. Symb. Comput., 2009

2008

Elimination for Coefficients of Special Characteristic Polynomials.

[BibT_eX]

[DOI]

Exp. Math., 2008

2007

Computation of bases of free modules over the Weyl algebras.

[BibT_eX]

[DOI]

Alban Quadrat

J. Symb. Comput., 2007

Some Elimination Problems for Matrices.

[BibT_eX]

[DOI]

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007

2005

Constructing Invariants for Finite Groups.

[BibT_eX]

[DOI]

Exp. Math., 2005

A Maple Package for Computing Groebner Bases for Linear Recurrence Relations

[BibT_eX]

[DOI]

CoRR, 2005

Effective algorithms for parametrizing linear control systems over Ore algebras.

[BibT_eX]

[DOI]

Frédéric Chyzak

Alban Quadrat

Appl. Algebra Eng. Commun. Comput., 2005

On the blowing-up of stably free behaviours.

[BibT_eX]

[DOI]

Alban Quadrat