Algebraic and Algorithmic Aspects of Differential and Integral Operator Session

ACA 2018

Santiago de Compostela, Spain, June 18-22, 2018


Moulay Barkatou (University of Limoges, XLIM DMI, Limoges, France)
Thomas Cluzeau (University of Limoges, CNRS, XLIM DMI, Limoges, France)
Georg Regensburger (Johannes Kepler University Linz, Austria)
Markus Rosenkranz (Johannes Kepler University Linz, Austria)


The algebraic/symbolic treatment of differential equations is a flourishing field, branching out in a variety of subfields committed to different approaches. In this session, we want to give special emphasis to the operator perspective of both the underlying differential operators and various associated integral operators (e.g. as Green’s operators for initial/boundary value problems).

In particular, we invite contributions in line with the following topics:

  • Symbolic Computation for Operator Algebras
  • Factorization of Differential/Integral Operators
  • Linear Boundary Problems and Green’s Operators
  • Initial Value Problems for Differential Equations
  • Symbolic Integration and Differential Galois Theory
  • Symbolic Operator Calculi
  • Algorithmic D-Module Theory
  • Rota-Baxter Algebra
  • Differential Algebra
  • Discrete Analogs of the above
  • Software Aspects of the above

If you are interested in joining the session, please contact us.

Previous ACA sessions were held at Hagenberg 2008, Montréal 2009, Vlora 2010, Houston 2011, Sofia 2012, Malaga 2013, New York 2014, Kalamata 2015, Kassel 2016.

We have published an MCS Special Issue based on the 2008-10 sessions and a Springer LNCS Postproceedings Volume based on the 2011-12 sessions. We have co-edited a Special Issue with Alexey Ovchinnikov on Computational Aspects of Differential/Difference Algebra and Integral Operators for the journal Advances in Applied Mathematics based on ACA 2014.

Talks and Speakers

Vladimir Bavula
The Jacobian algebras, their ideals and automorphisms

François Boulier
On the Parameter Estimation Problem for Integro-Differential Models

Francisco-Jesus Castro-Jimenez
Parametric b-functions for some hypergeometric ideals

Cyrille Chenavier
Reduction operators and completion of linear rewriting systems

Sette Diop
Observability and orders of derivatives of data

Thomas Dreyfus
Effective criterion to test differential transcendence of special functions

Li Guo
Rota’s Classification Problem, Rewriting Systems and Gröbner-Shirshov Bases

Maximilian Jaroschek
Low-Order Recombinations of C-finite Sequences

Alexander Levin
Some Properties and Invariants of Multivariate Difference-Differential Dimension Polynomials

Jean-François Pommaret
Computer algebra and the Lanczos problems in arbitrary dimensions

Jamal Hossein Poor
Symbolic computation for integro-differential-time-delay operators with matrix coefficients

Clemens Raab
Algebraic proofs of operator identities

Bruno Salvy
Definite Integration of D-finite Functions via Generalized Hermite Reduction

David Zeitoun
Solution of non-homogenous Ordinary Differential Equations using Parametric Integral Method

Yi Zhang
Desingularization in the q-Weyl algebra