- SIAN: software for structural identifiability analysis of ODE models. Based on the paper Global identifiability of differential models, a less technical description is here. Code on github
- Implementation of algorithms for elimination of unknowns for differential-algebraic equations based on the paper Bounds for elimination of unknowns in systems of differential-algebraic equations: code on github
- Proof-of-concept implementation of an algorithm for elimination of unknowns for difference equations based on the paper Effective difference elimination and Nullstellensatz: code on github
- Sage/C code for computing the free energy of the monomer-dimer model, based on the paper Power series expansions for the planar monomer-dimer problem: code on github