I am involved in the design of ERODE and CLUE, two software tools for the algorithmic simplification of mathematical models, with applications in systems biology, control engineering, data science and quantum computing.