Software
As part of ADAI, software in SageMath has been developed for manipulating differential structures, such as differential polynomials, differential systems and the computation of differential resultants. This software is included in the open-source package for SageMath dalgebra.
This software provides a seamless framework within SageMath for manipulating differential structures, such as differential rings, rings of differential polynomials, etc. In the current version (0.0.4) we include:
Creation and manipulation of difference-diffferential structures.
Creation of ring of differential operators (linear and non-linear).
Computation of differential resultant using this paper.
Current version can be obtained from GitHub. The documentation of the current version can be checked online.