Rigorous function approximation using Taylor models in Julia - View it on GitHub