ERODE

Evaluation and reduction of stochastic reaction networks and differential equations


An all-in-one tool for the numerical solution, stochastic simulation, and minimization of dynamical systems with import/export options for a variety of third-party formats including SBML and Matlab.

ERODE screenshot


Quick start

Main Features


Numerical solvers for differential equations

Supported through the Apache Commons Math library and through a Java porting of the SUNDIALS library.

Stochastic simulation of reaction networks

Gillespie's Direct Method, Gibson and Bruck's Next Reaction Method, tau-leaping.


Exact reduction of ordinary differential equations with polynomial derivatives

Forward equivalence produces a reduced model where every macro-variable represents the sum of variables in each block.
Backward equivalence ensures that all variables in a block have the same solution at all times points.

Exact reduction of stochastic reaction networks via network-to-network transformation

Species equivalence identifies a partition of the species of in a network and produces a reduced one where the marginal probability distribution of each macro-species corresponds to the probability distribution of the sum of the species in each block.


Exact reduction of ordinary differential equations with arbitrary nonlinearities backed by SMT

Forward differential equivalence and backward differential equivalence are generalizations of the forward and backward equivalences when the derivatives have rational expressions, minimum/maximum functions, etc.

Approximate reduction of ordinary differential equations with polynomial derivatives

ε-forward and ε-backward equivalence: relaxations of forward and backward equivalence where the macro-variables approximately represent the sum of original variables within some computable bound.