ERODE: Evaluation and Reduction of Ordinary Differential Equations

The tool implements two complementary equivalences over ODE variables: /forward differential equivalence/ partitions ODE variables into blocks for which a self-consistent aggregate ODE system can be obtained; each aggregate ODE gives the cumulative dynamics of the sum of the original variables in the respective equivalence class. /Backward differential equivalence/ identifies variables that have identical solutions whenever starting from the same initial conditions.

Visit the tool web page for more information.