Maple code for checking global identifiability for ODE models following the paper "Global Identifiability of Differential Models" - View it on GitHub