Software for numerical certified path tracking